Sun, 05 Jul 2015 23:40:51 +0200 Fixes default tip
Heiko Schlittermann (JUMPER) <hs@schlittermann.de> [Sun, 05 Jul 2015 23:40:51 +0200] rev 24
Fixes
Sun, 05 Jul 2015 22:52:36 +0200 [snapshot]
Heiko Schlittermann (JUMPER) <hs@schlittermann.de> [Sun, 05 Jul 2015 22:52:36 +0200] rev 23
[snapshot]
(0) -10 -2 tip