Skip to content

Prepare ghcide release v1.3.0.0#1811

Merged
pepeiborra merged 5 commits intomasterfrom
prepare-ghcide-1.3.0.0
May 9, 2021
Merged

Prepare ghcide release v1.3.0.0#1811
pepeiborra merged 5 commits intomasterfrom
prepare-ghcide-1.3.0.0

Commits

Commits on May 9, 2021