Skip to content

Remove GHCup vanilla channel from defaults#137

Merged
andreasabel merged 1 commit intomainfrom
remove-vanilla
Jan 11, 2026
Merged

Remove GHCup vanilla channel from defaults#137
andreasabel merged 1 commit intomainfrom
remove-vanilla

Commits

Commits on Jan 11, 2026