Merge "docs: Disable GENERATE_TESTLIST and GENERATE_BUGLIST"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 14 Sep 2019 03:29:02 +0000 (03:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 14 Sep 2019 03:29:02 +0000 (03:29 +0000)
commit60d0780d2f74e0857cdd5ce97a648578c188f2dc
tree774c4570fa28e394fabd558e455ea38e63d8c29a
parent3fccbf59719288fc0f0e1aef87b38599e062cb17
parentbabe0874ce4b32a540a41f145d0e8951aea61cca
Merge "docs: Disable GENERATE_TESTLIST and GENERATE_BUGLIST"