Skip to content

Fix #5203 Put GHCi configuration scripts in a user-specific location#6117

Merged
mpilgrem merged 2 commits intorc/v2.11from fix5203May 10, 2023