chiark / gitweb /
badcommit-fixup: fix a git-
-rwxr-xr-x 3780 badcommit-fixup