Comments only [skip ci]
authorThomas Miedema <thomasmiedema@gmail.com>
Sat, 4 Jul 2015 09:57:44 +0000 (11:57 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Sat, 4 Jul 2015 13:49:10 +0000 (15:49 +0200)
commitaa778c8e5142b5a30905be12062cf443268db7ae
tree334cefc76786e2c3e6fff4f42cab6a5202ae418b
parenta4b03428e402b36ba2d36da34bcb7465f603724d
Comments only [skip ci]

Follow up to 124f3999d78d8ef6b093e4f1bb1dcef87e4283da.
ghc/InteractiveUI.hs