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