Wed, 14 Feb 2018 19:03:47 +0000 KnownBugs: no more double asterisks
Wuzzy [Wed, 14 Feb 2018 19:03:47 +0000] rev 1207
KnownBugs: no more double asterisks
Wed, 14 Feb 2018 19:03:35 +0000 KnownBugs: typofixes
Wuzzy [Wed, 14 Feb 2018 19:03:35 +0000] rev 1206
KnownBugs: typofixes
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip