chiark / gitweb /
[PATCH] clean up the logging patch a bit to make the option more like the other options.