Merge "HtmlFormatter fixes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Apr 2014 20:36:00 +0000 (20:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Apr 2014 20:36:00 +0000 (20:36 +0000)
commita26687e81532def3faba64612ce79b701a13949e
tree56be23ec95f734a493917ec0c54dae63ea9e2bbc
parent47786874cf2dc27909dc5c27d5dfa6e74e170ca8
parentc10d5a91e033f7c65d8e182b55ae6a3110db7c2f
Merge "HtmlFormatter fixes"