chiark / gitweb /
dgit-badcommit-fixup: Now seems to work