chiark / gitweb /
fix "unused" warnings