From: jenkins-bot Date: Wed, 24 Jul 2019 02:21:04 +0000 (+0000) Subject: Merge "Drop mediawiki.dic, useless and poorly updated" X-Git-Tag: 1.34.0-rc.0~902 X-Git-Url: http://git.cyclocoop.org/%7B%24admin_url%7Dcompta/comptes/journal.php?a=commitdiff_plain;h=cceade3a0f57ffe488d26950cefca68f9e4daa02;p=lhc%2Fweb%2Fwiklou.git Merge "Drop mediawiki.dic, useless and poorly updated" --- cceade3a0f57ffe488d26950cefca68f9e4daa02