Merge "Replace deprecated `setIconTitle` with `setTitle`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Jan 2019 00:19:38 +0000 (00:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Jan 2019 00:19:38 +0000 (00:19 +0000)
commit6e840bcfd4542a0873f8ec878472f71859009b4f
tree31e9fa52d6fa223aad4168f77b1f335b1df62151
parente62b5d01f67016492cbb6cf7dfa56a4659573aa8
parentf604b891f84020621c578162cefdf41370a2f643
Merge "Replace deprecated `setIconTitle` with `setTitle`"