Skip to content

BACKPORT: If a defaulting plugin made progress, re-zonk wanteds before built-in defaulting

Gergő Érdi requested to merge wip/backport/issue-23821 into ghc-9.8

Merge request reports