Fixes #2
mentioned in issue ghc#25722
added 1 commit
Compare with previous version
I assume my changes didn't cause the build failures.
Now the latest failure is my fault.
marked this merge request as draft