Merge "Fix some FileOpBatch IDEA errors"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 Dec 2015 01:11:13 +0000 (01:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 Dec 2015 01:11:13 +0000 (01:11 +0000)
commit765829b6506ee32e06e1c070d2af2d427c989f5c
treecf0e8fc4fb7aa1d1f2c8d9153d523f2cab0980b1
parentd0dc081a50d8639bdefd14054f1e70faa9012df2
parentd1f9b125f9cbead6aa75cda85ce7d8704114b1b4
Merge "Fix some FileOpBatch IDEA errors"