id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
175	Prettier coverage info	SimonMeier		A simple patch that tries to improve pretty printing of the coverage info. See the long patch description for its rationale.	enhancement	closed	trivial		2.9.2	fixed		iridcode@…