t / t5100 / msg0009on commit travis-ci: build with the right compiler (2c8921d)
   1This is to fix diff-format documentation.
   2