Merge "Revision history: Prefer `outline` over `border` to give text more space"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 May 2019 17:50:28 +0000 (17:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 May 2019 17:50:28 +0000 (17:50 +0000)
commit7ffa52213b1af4192335b5698ad0b1c78647edfa
treebbe0c4bf62292001802d79373585a2bdbd46b99f
parentb00ce7312209b885ceefe37b710931eef8f8d901
parent7deab901b19c9c45d9f3b6d2bbe49a7c09d63442
Merge "Revision history: Prefer `outline` over `border` to give text more space"