tree 1d0dfed7897a10cf13bfa3f7366c67f12953117e
parent 70a52d6bd8c45630ca90e945fc4d716fe9114010
author Behdad Esfahbod <behdad@behdad.org> 1548156545 +0100
committer Behdad Esfahbod <behdad@behdad.org> 1548156545 +0100

[CI] Remove gcc 4.2 bots

We don't support that version anymore.