Merge "Fix return type of File::restore()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Jun 2019 14:20:09 +0000 (14:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Jun 2019 14:20:09 +0000 (14:20 +0000)
commitc3e0f9b0dbfaa82605acf2e7c7219b0e451b6eaf
tree6d1417c42d1b874a17ef625eeb935d34b5e1ca2a
parente516669a9e56bd2040d5504495feaa28949373f0
parenta6dce8b8cd0b665ed4a00ad6bdcfabf69f2925c3
Merge "Fix return type of File::restore()"