Reported by: Frank Knoben <admin@igpm.rwth-aachen.de>;Date: Thu, 27 Feb 2014 09:10:02 UTC;Severity: normal;Tags: moreinfo, not-a-bug;Found in version 4.0.1.13;Done: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>;Filed 10 years and 262 days ago;Modified 10 years and 226 days ago;Bug is archived. No further changes may be made.