Merge "resourceloader: Use increment() for resourceloader_cache miss metric"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Sep 2015 12:23:45 +0000 (12:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Sep 2015 12:23:45 +0000 (12:23 +0000)
commitdb9df606e91cb4e2351d8cdcbf4f3db09d1f4bc3
tree27c8a643d8342eaa90d2d04a3f1ae5f4d7e8d5e3
parente02d3310512554ec320c47a23ddb99efd1877f16
parentf28e51adafc0c8a40518d6f9f58b340c7d9a5087
Merge "resourceloader: Use increment() for resourceloader_cache miss metric"