Merge "Remove deprecated ParserOutput::legacyOptions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 12 Mar 2019 08:35:09 +0000 (08:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 12 Mar 2019 08:35:09 +0000 (08:35 +0000)
commit2c13d341f16e9f7bd33f8f465bcf08362391f59c
tree57a14780985cc14fade09b0564459ae7741c58ad
parent787da207a297714551fec2e518d67fbe3e957d60
parentba7645032a6030770526825ba703ffdf2609755c
Merge "Remove deprecated ParserOutput::legacyOptions"