Mon, 25 May 2020 18:53:17 +0200 Graves: Add newlines
Wuzzy [Mon, 25 May 2020 18:53:17 +0200] rev 2138
Graves: Add newlines
Mon, 25 May 2020 18:52:59 +0200 Flags: Add newlines
Wuzzy [Mon, 25 May 2020 18:52:59 +0200] rev 2137
Flags: Add newlines
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 tip