commit | b65645bbafb3f1f9f956df3028cf4479a4bdc265 | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Thu Nov 29 23:57:50 2018 +0330 |
committer | GitHub <noreply@github.com> | Thu Nov 29 23:57:50 2018 +0330 |
tree | 122b8e031429bf9c90fdc543a7ea62b70d7e5cef | |
parent | e7bd29ea11bd6301a332b471120a4a2cd8575d09 [diff] |
[ci] Re-enable llvm-gcc-4.2 bots (#1429)