Merge "Make HTML generation in RenderedRevision optional"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 31 Aug 2018 11:38:15 +0000 (11:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 31 Aug 2018 11:38:15 +0000 (11:38 +0000)
commita76baefe8e0d4ec90213d6a4d272c5268fbd7e9d
tree4271d2901d499dc74c079102ea87fdf9694ab306
parentbbebfebaccdcd509a44d51b663a99bb88e001e01
parentd8c409dd161e248b8ac5948528c02ab6c877c706
Merge "Make HTML generation in RenderedRevision optional"