Merge "Misc fixes for file patrol"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 22 Jan 2016 17:13:55 +0000 (17:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 22 Jan 2016 17:13:55 +0000 (17:13 +0000)
commita62a040563d886ef1355bfa6073e26b126d214d1
treebf76752ee68b1200fa9fa2e2a152e42998d1da5b
parent50c52563528ba3d765c3762211f98d6f3c0e39fd
parentb06bd0511bc977919622313edf244ef3879d6906
Merge "Misc fixes for file patrol"