Merge "Log profiling info from maintenance scripts."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 1 Feb 2013 18:02:05 +0000 (18:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 1 Feb 2013 18:02:05 +0000 (18:02 +0000)
commitdb8a48856ba50799d2b26280d6bc7c2acc74fb97
treeb1ef562bccb5cfe3f14d96fe672eaa3ce02d289e
parent8e7f3b79d70ab8d4ac3a48f048faf748236bfb4c
parent2926b29da3038cc4b2b7da7e4c83d6429bbf05a0
Merge "Log profiling info from maintenance scripts."