chiark / gitweb /
[PATCH] trivial namedev cleanup