On Mon, 2007-06-18 at 14:16 -0400, David Zeuthen wrote: > introduce new <addset> operator What advantages does this have over merge? If we use this in hal-info, what do older versions (0.5.9) do? hal-info has to be forwards and backwards compatible... Richard.