From: jenkins-bot Date: Thu, 13 Oct 2016 21:05:24 +0000 (+0000) Subject: Merge "Move up devunt's name to Developers" X-Git-Tag: 1.31.0-rc.0~5119 X-Git-Url: http://git.cyclocoop.org//%22%22.url_de_base%28%29.%22/%22?a=commitdiff_plain;h=f43fa6f4f0e2cb60b8543daad661b48a3e0653a9;p=lhc%2Fweb%2Fwiklou.git Merge "Move up devunt's name to Developers" --- f43fa6f4f0e2cb60b8543daad661b48a3e0653a9