Merge "Fix numerous FileRepo IDEA warnings"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 6 Oct 2016 13:13:07 +0000 (13:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Oct 2016 13:13:07 +0000 (13:13 +0000)
commit64f1b031edd123011ee4b5cb1143b22bce66cdea
treef648e53f0894bb252882841e7a0755c22937c078
parent2b4a97596a442b86f3d9dfdac14497659abc4568
parent8585cc9ffb75cda2f923d3c16760f357aff074d0
Merge "Fix numerous FileRepo IDEA warnings"