Merge "RCFilters: Bidi isolate tag names and descriptions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Mar 2018 12:30:07 +0000 (12:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Mar 2018 12:30:07 +0000 (12:30 +0000)
commit165217365bfb94ad17bfef86b412eb9e2eb0508b
tree196f4c5976e0b63f1ed74197d492e30f9b0edf00
parent6f9c30c67b31b12d39f2d54b431e141869895eca
parent057fa7a39b06626443526070dc6b670d2b310300
Merge "RCFilters: Bidi isolate tag names and descriptions"