Also, -read-dot-ghci is now gone. We now have -no-ignore-dot-ghci instead.
Attach a file by drag & drop or click to upload
