Skip to content

Make (GHC) version mapping configurable#752

Merged
phadej merged 1 commit intomasterfrom version-mappingNov 17, 2024

Commits

Commits on Nov 17, 2024