Commit dc0f98298eca6520efd6e05d34f9aa7847979203

Behdad Esfahbod 2018-12-30T11:22:16

[ci] Remove unused config for gcc 4.2 [skip ci]