chiark / gitweb /
log: whitespace style fix