Skip to content

Backport !5611 to 8.10.5

Ben Gamari requested to merge wip/backports-8.10 into ghc-8.10

Backports !5611 (merged).

Merge request reports