Merge "maintenance: Use the ?? feature together with explode()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Mar 2019 02:15:04 +0000 (02:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Mar 2019 02:15:04 +0000 (02:15 +0000)
commit8a0f5676c92c486656b260c448c8e0284e5321ca
tree8c01638fe1f14729db1e763823fda6571f138677
parent7d0a4d066750cc58098ca55edc29fe72803931dd
parente5831cfd5a0358b5b8c95dd5a17ca935da82bd6b
Merge "maintenance: Use the ?? feature together with explode()"