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