Merge "mediawiki.hlist: Add sensible defaults"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 22 Jul 2017 20:01:19 +0000 (20:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 22 Jul 2017 20:01:19 +0000 (20:01 +0000)
commitc951bedc9e6092a49fa4e2ceb9002e6e2abe4a4e
tree8b8fa95bbd1e1cca1434d431409f6ee00aff5faa
parentbe00e4c0bb2e473102eafdd6629c61c7e87ea536
parent4c30c19d6ba579773dab3b93cd78cd089382d2a5
Merge "mediawiki.hlist: Add sensible defaults"