Merge "Fix one more profiling error from I0a9a7f10ea (f5a0c23)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Nov 2013 16:15:08 +0000 (16:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Nov 2013 16:15:08 +0000 (16:15 +0000)

Trivial merge