Joe Shaw wrote: > On Fri, 2005-01-07 at 11:41 -0500, David Zeuthen wrote: > >>Patches that fix this are welcome :-) > > Nah, don't bother. I just committed a fix for both of these to CVS. Many thanks! Matt. _______________________________________________ hal mailing list hal at lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/hal