On Fri, 2005-07-15 at 18:39 +0100, Richard Hughes wrote: > Please check and merge. I've committed this. Thanks! Cheers, David _______________________________________________ hal mailing list hal at lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/hal