Skip to content

Fix excessive interface recompilation caused by the Tactics plugin#2282

Merged
mergify[bot] merged 1 commit intomasterfrom
fix-tactics-ghc-plugin
Oct 20, 2021

Commits

Commits on Oct 19, 2021