Re: [GHC] #7789: GHCI core dumps when used with VTY