chiark / gitweb /
fix a const-correctness bug