chiark / gitweb /
fix pylint unused-argument