From: jenkins-bot Date: Mon, 16 May 2016 12:04:45 +0000 (+0000) Subject: Merge "Remove unnecessary annotation" X-Git-Tag: 1.31.0-rc.0~6968 X-Git-Url: http://git.cyclocoop.org/data/Fool?a=commitdiff_plain;h=721efa511ded84bba2db274bb41b390277cd5d51;p=lhc%2Fweb%2Fwiklou.git Merge "Remove unnecessary annotation" --- 721efa511ded84bba2db274bb41b390277cd5d51