Merge "Revision history: Use `padding` for same rendering"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 May 2019 17:06:02 +0000 (17:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 May 2019 17:06:02 +0000 (17:06 +0000)
commit9fad11b018bd00fc4d1a8ff3c599acb85d634330
tree5111d2c62021c0530b6673b837a8cd9a3f9de8bd
parent253c9b475f7e81bb8e23dbcd3d2dd8740a8b218d
parentfff5393079de72bdce144831dbbbc1a7d1faec5d
Merge "Revision history: Use `padding` for same rendering"