chiark / gitweb /
hooks/pre-commit.sh: fix bashism