Merge "Special:Contributions - use `label` instead of `radioLabel` for username"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 Sep 2019 18:49:08 +0000 (18:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 Sep 2019 18:49:08 +0000 (18:49 +0000)
commit1ed4c6d1ecb82721eeca570ea7586aca97a84b89
tree3c27cc40584f6d8ab1fd50492133669db52e430b
parent009dee56f40978fd034c85f86024273cead5042b
parent5494337dccc6673a6de734483288bee28bf7cbec
Merge "Special:Contributions - use `label` instead of `radioLabel` for username"