Merge "collation: Fix non-canonical order of elements"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 Jan 2019 16:37:13 +0000 (16:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 Jan 2019 16:37:13 +0000 (16:37 +0000)
commit794add4c67648173a12e3ed008e59926363e7354
tree70d249849e33a89bef7be3cc5601898fec32202a
parenta792979336d0339b384e4a742c24798716facd7e
parentedc5f25a59a2c8d54f094be8f1c685709a9b3bd2
Merge "collation: Fix non-canonical order of elements"