Skip to content

Backports for %8.10.3

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

Fixes #18233 (closed).

Final backports for %8.10.3:

Edited by Ben Gamari

Merge request reports