t / t5100 / msg0009on commit dashed externals: kill children on exit (10c6cdd)
   1This is to fix diff-format documentation.
   2