Merge "Improve documentation of newRevisionsFromBatch()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Sep 2019 20:25:00 +0000 (20:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Sep 2019 20:25:00 +0000 (20:25 +0000)
commitd5f2f8458c8bb95f559c70774b6f8acf7588f347
treeab5b1f7ce3b16b7143e3e611e0f77444868cab43
parent4cbdbadf4bbb6638228218857b0519f2b19e4799
parentffde7b8cb46a25b16ca28cd39665489d83102456
Merge "Improve documentation of newRevisionsFromBatch()"