Merge "Fix coverage annotations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Sep 2017 06:51:53 +0000 (06:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Sep 2017 06:51:53 +0000 (06:51 +0000)
commit1a94b6bb8060f98aec2b3ab17addd1da112a3255
treeef6c0f39a16387f4b910cb83e36fce3d2b72d798
parent9f3c3d1eb51b514977b8c472717f565d5c5f7b90
parentd1a1dbafa4c8f7ff3d60d0461619ff9f5d9c39d6
Merge "Fix coverage annotations"