From: jenkins-bot Date: Fri, 11 May 2018 15:25:48 +0000 (+0000) Subject: Merge "Remove 'patrol' from $wgActionFilteredLogs" X-Git-Tag: 1.34.0-rc.0~5447 X-Git-Url: http://git.cyclocoop.org/%22%20.%20generer_url_ecrire%28%22messagerie%22%29%20.%20%22?a=commitdiff_plain;h=afebcf5ad3869564bd2007f83e8e750b8a128fc3;p=lhc%2Fweb%2Fwiklou.git Merge "Remove 'patrol' from $wgActionFilteredLogs" --- afebcf5ad3869564bd2007f83e8e750b8a128fc3