Sun, 31 Jan 2010 01:17:32 +0100 Heiko Schlittermann [savepoint]
Fri, 29 Jan 2010 00:35:46 +0100 Heiko Schlittermann (savepoint)
Fri, 22 Jan 2010 23:28:45 +0100 Heiko Schlittermann [merged] stable
Wed, 20 Jan 2010 23:11:19 +0100 Heiko Schlittermann merged from default stable
(0) -30 -10 -4 +4 tip