Commit b270cee6c5800c019aafb55e9ca9d7e92a92d3ec

Behdad Esfahbod 2019-01-22T12:29:05

[CI] Remove gcc 4.2 bots We don't support that version anymore.