t / t5100 / msg0009on commit merge --no-edit: do not credit people involved in the side branch (9bcbb1c)
   1This is to fix diff-format documentation.
   2