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@…