Merge branch 'stable-2.13' into stable-2.14
-rw-r--r-- 21 .ghci
-rw-r--r-- 2992