Commit eaa9023634282bed5955a068f9f92b8ef1733c39

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

[ci] Disable other gcc 4.2 bot