Merge "Switched API to using scopedProfileIn()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 8 Jan 2015 17:48:33 +0000 (17:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Jan 2015 17:48:33 +0000 (17:48 +0000)
commit2dc885bdb449620552eb53ebaf8d8612625d08f5
treead0c28030fb13ff3682a6ed23f2c3a6aa364071b
parent96ca8551b232a0bc497632f71f7ab083595acbf7
parent16e6b5474022b443fe248c2ba299b06b1fb5043e
Merge "Switched API to using scopedProfileIn()"