Mon, 15 Oct 2012 16:02:36 +0200 [sid] default tip
arnold [Mon, 15 Oct 2012 16:02:36 +0200] rev 5
[sid]
Mon, 15 Oct 2012 12:36:02 +0200 [sid]
arnold [Mon, 15 Oct 2012 12:36:02 +0200] rev 4
[sid]
(0) -2 tip