chiark / gitweb /
log: correct usage of logging API at a few places