Merge "Update OOjs UI to v0.24.2"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Nov 2017 23:29:16 +0000 (23:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Nov 2017 23:29:17 +0000 (23:29 +0000)
commit1537a930a6d712bc76c6145b63511d44f79f3bb7
treeaca7cbec5d93f38b5e24d8e461a216acd2199e3b
parent6fa1bd7682f5fbe8f74fcf2b29b85a98a4387441
parent4ca7f7a21c128b29c1a06093129d34150bfe6368
Merge "Update OOjs UI to v0.24.2"