instrument: small fix and up to date coverage.ec

This commit is contained in:
Vincent Breitmoser
2015-06-26 16:31:14 +02:00
parent 0077891f1d
commit bda15ff92d
2 changed files with 0 additions and 3 deletions