chiark / gitweb /
log: remove useless variable