Permit 8.0.1.* (#323)
Permit 8.0.1.* (#323)

chrisdone/intero,chrisdone/intero,commercialhaskell/intero,commercialhaskell/intero,chrisdone/ghci-ng,chrisdone/intero,commercialhaskell/intero,chrisdone/ghci-ng