Merge "Remove deprecated back-compat HtmlFormatter class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Jan 2018 21:14:12 +0000 (21:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Jan 2018 21:14:12 +0000 (21:14 +0000)
commite731ab2c8b6c58a58b1da938d24ee685d13cf829
treef5700ee86b47b2813896f5cfeb273f852ab8e60f
parentafe317e26dc81591712eecfa443b3c747076db90
parent182cada0da1d994a04179a23082007218a9c2803
Merge "Remove deprecated back-compat HtmlFormatter class"