chiark / gitweb /
[PATCH] small trivial cleanup of latest changes