chiark / gitweb /
Cut verbosity of new fast-forward merging