On Tue, 2005-05-10 at 21:54 +0100, Richard Hughes wrote: > Please merge if acceptable. I think that this is now fixed. Cheers, David _______________________________________________ hal mailing list hal at lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/hal