id	summary	owner	type	priority	version	resolution
3656	ghci leaves /tmp/ghc* directory if killed by signal	igloo	merge	normal	6.10.4	fixed
3813	Invalid warning from GHCi	igloo	bug	normal	6.10.4	fixed
2797	ghci stack overflows when ghc does not	igloo	merge	normal	6.11	fixed