chiark / gitweb /
[PATCH] got "remove of named devices" working.