t / t5100 / msg0009on commit trace2: fix up a missing "leave" entry point (c173542)
   1This is to fix diff-format documentation.
   2