chiark / gitweb /
fix udev attribute names with a colon