From: jenkins-bot Date: Sat, 10 May 2014 15:13:16 +0000 (+0000) Subject: Merge "$wgEnotifUseRealName: Check, if realname is non-empty" X-Git-Tag: 1.31.0-rc.0~15791 X-Git-Url: https://git.cyclocoop.org//%22?a=commitdiff_plain;h=e56d5596c42e237cbc89e9d49ab0d357c0cbc43b;p=lhc%2Fweb%2Fwiklou.git Merge "$wgEnotifUseRealName: Check, if realname is non-empty" --- e56d5596c42e237cbc89e9d49ab0d357c0cbc43b