Merge "Fix coverage annotations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Jul 2016 19:59:20 +0000 (19:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Jul 2016 19:59:20 +0000 (19:59 +0000)
commitb3597ac6b2674a60cc1cf655b4ca7879ee37e977
treebff25a467baff88b2a00a170a396ab7c986c5dda
parent160539a8d4ecb1d124ce9dbd206a3251608136d2
parent836494c891aeb87a94f7025354ce4d3c9b13aeea
Merge "Fix coverage annotations"