validate · d1de5c227160f555ea6d5679791388a980910c88 · Reinier Maas / GHC · GitLab

Nov 28, 2019
d1de5c22

Use Hadrian by default in validate script (#17527) · d1de5c22
Sylvain Henry authored Nov 28, 2019 and Marge Bot committed Nov 30, 2019

d1de5c22

Use Hadrian by default in validate script (#17527)
Sylvain Henry authored Nov 28, 2019 and Marge Bot committed Nov 30, 2019