t / t5100 / msg0009on commit Merge gitk to pick up emergency build fix (8a3a681)
   1This is to fix diff-format documentation.
   2