Fri, 06 May 2016 12:43:42 +0200 .tar.xz changed to tar.gz
pesch [Fri, 06 May 2016 12:43:42 +0200] rev 5
.tar.xz changed to tar.gz
Fri, 06 May 2016 11:13:14 +0200 second check in
pesch [Fri, 06 May 2016 11:13:14 +0200] rev 4
second check in
(0) -2 tip