Merge "redo: don't die producing xml files if rev text export conversion fails"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Apr 2019 18:55:30 +0000 (18:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Apr 2019 18:55:30 +0000 (18:55 +0000)
commit06aaf493e12f998784c7c9294e8533d979623308
treec78d9ac4bab6c10e362b3377abec6a1c25170313
parent5c89f7f4dfdbd406dd7df148727d3df9a0775ca1
parent7fdcc1d319ff0e1726e9e73c7535861db1fc6136
Merge "redo: don't die producing xml files if rev text export conversion fails"