Tahi-project/tahi — pull request #678 by neo-tahi (2014-12-03 18:49:54+00:00)
Title: Report coverage after suite

Some coverage metrics-related changes