chiark / gitweb /
Got rid of a warning about an unused variable