From: jenkins-bot Date: Mon, 8 Jul 2019 22:10:41 +0000 (+0000) Subject: Merge "Remove `@author Timo Tijhof` from various file headers" X-Git-Tag: 1.34.0-rc.0~1132 X-Git-Url: http://git.cyclocoop.org/ecrire?a=commitdiff_plain;h=e65cc82b4b80a73c2603b9b1e8aaa3d96d5c68f1;p=lhc%2Fweb%2Fwiklou.git Merge "Remove `@author Timo Tijhof` from various file headers" --- e65cc82b4b80a73c2603b9b1e8aaa3d96d5c68f1