Hello again, I cleaned the patch some more and committed it now: http://cgit.freedesktop.org/hal-info/commit/?id=c0bc443 Thanks, Martin -- Martin Pitt | http://www.piware.de Ubuntu Developer (www.ubuntu.com) | Debian Developer (www.debian.org)