Merge "$wgEnotifUseRealName: Check, if realname is non-empty"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 10 May 2014 15:13:16 +0000 (15:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 10 May 2014 15:13:16 +0000 (15:13 +0000)
commite56d5596c42e237cbc89e9d49ab0d357c0cbc43b
treecf7809d18b7657768afd6ca5a63ca8e96a8d5940
parentd9cf3264b40ebb9c7a21cbff160e1126866e00af
parent1d3dad574a38e97134cba0a3155650935f271df9
Merge "$wgEnotifUseRealName: Check, if realname is non-empty"