chiark / gitweb /
udev: drop duplicate logging