Skip to content

backport/8.10/T18857

Moritz Angermann requested to merge wip/backport/8.10/T18857 into ghc-8.10

Backport !4310 (closed).

Edited by Ben Gamari

Merge request reports