chiark / gitweb /
[PATCH] bug in udev-remove.c