t / t5100 / msg0009on commit version --build-options: report commit, too, if possible (ed32b78)
   1This is to fix diff-format documentation.
   2