Reported by: Joachim Schmidt <jschm1dt@arcor.de>;Date: Thu, 1 Dec 2011 13:03:02 UTC;Severity: normal;Filed 12 years and 172 days ago;Modified 12 years and 94 days ago;
Reported by: Jens Rapp <rapp.jens@googlemail.com>;Date: Wed, 25 Sep 2013 17:21:02 UTC;Severity: normal;Filed 10 years and 238 days ago;Modified 10 years and 238 days ago;
Reported by: Eggert Ehmke <eggert@eehmke.de>;Date: Fri, 25 Aug 2017 21:21:01 UTC;Severity: normal;Tags: moreinfo;Filed 6 years and 267 days ago;Modified 6 years and 257 days ago;
Outstanding bugs -- Minor bugs; Unclassified (1 bug)