Merge "HTMLForm OOUI Flatlist: Reduce `margin` slightly"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Dec 2018 13:16:54 +0000 (13:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Dec 2018 13:16:54 +0000 (13:16 +0000)
commit28e86e10881a04c44248168f902cf9cc25812cf0
treec86470cb874747851586c6763a33737f81841bf4
parent5cf0a774ece5c51d3517a6c2ef5c5ede891060c7
parentb5841ec51fd01ffa8d94670c9e14ad030c4b35ae
Merge "HTMLForm OOUI Flatlist: Reduce `margin` slightly"