chiark / gitweb /
Cleanup: remove unused variable