chiark / gitweb /
badcommit-fixup: remove some debug
-rwxr-xr-x 5838 badcommit-fixup