Wed, 15 Feb 2017 15:46:23 +0100 Matthias Förste moved to git default tip
Tue, 08 May 2012 11:36:14 +0200 Matthias Förste fix any noncritical problems automatically
Fri, 04 May 2012 15:37:10 +0200 Matthias Förste cleanup at exit; back to bash because dash is broken: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=390433
(0) -3 tip