Tue, 17 Oct 2017 17:31:40 +0200 Move to git.schlittermann.de default tip
Heiko Schlittermann <hs@schlittermann.de> [Tue, 17 Oct 2017 17:31:40 +0200] rev 92
Move to git.schlittermann.de
(0) -30 -10 -1 tip