jenkins-bot has submitted this change and it was merged.
Change subject: add option to XML dump stubs of page ranges with explicit
rev_id ordering
..
add option to XML dump stubs of page ranges with explicit rev_id ordering
te
jenkins-bot has submitted this change and it was merged.
Change subject: add option to XML dump stubs of page ranges with explicit
rev_id ordering
..
add option to XML dump stubs of page ranges with explicit rev_id ordering
te
ArielGlenn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/295387
Change subject: add option to XML dump stubs of page ranges with explicit
rev_id ordering
..
add option to XML dump stubs of page ranges w