Merge "Update OOjs UI to v0.23.5"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Oct 2017 22:38:41 +0000 (22:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Oct 2017 22:38:42 +0000 (22:38 +0000)
commit54dbf668a1f6b0a4720ec9a64368646ef19f9ccd
tree4e680299455a1acc97de862ac71096ecb0b3943b
parenta8379682a46a428320c88702c800a6107c015137
parentfb4e63ba3fcf636fc309d7ff05bedc71b2de19ee
Merge "Update OOjs UI to v0.23.5"