chiark / gitweb /
[PATCH] udev.8 tweak numeric id text