Thu, 27 Jul 2017 14:00:08 +0200 Moved to git.schlittermann.de default tip
Heiko Schlittermann <hs@schlittermann.de> [Thu, 27 Jul 2017 14:00:08 +0200] rev 26
Moved to git.schlittermann.de
(0) -10 -1 tip