Hi, FYI, discussion on hal is now on a separate mailing list hal at freedesktop.org This has been a public service announcement. Thanks, David _______________________________________________ hal mailing list hal at freedesktop.org http://freedesktop.org/mailman/listinfo/hal