Skip to content

Don't suggest destruct actions for already-destructed terms#1715

Merged
mergify[bot] merged 18 commits intohaskell:masterfrom
isovector:more-user-provenance
Apr 13, 2021
Merged

Don't suggest destruct actions for already-destructed terms#1715
mergify[bot] merged 18 commits intohaskell:masterfrom
isovector:more-user-provenance

Commits

Commits on Apr 12, 2021

Commits on Apr 13, 2021