chiark / gitweb /
Put a log message in a more sensible place.