We are currently migrating Bugzilla to GitHub issues.
Any changes made to the bug tracker now will be lost, so please do not post new bugs or make changes to them.
When we're done, all bug URLs will redirect to their equivalent location on the new bug tracker.

Who	When	What	Removed	Added
philipp.wiesemann	2014-04-13 18:53:29 UTC	CC		philipp.wiesemann
sylvain.becker	2018-10-30 19:43:24 UTC	CC		sylvain.becker
sylvain.becker	2019-01-31 13:49:22 UTC	Status	NEW	RESOLVED
sylvain.becker	2019-01-31 13:49:22 UTC	Resolution	---	FIXED

We are currently migrating Bugzilla to GitHub issues.Any changes made to the bug tracker now will be lost, so please do not post new bugs or make changes to them.When we're done, all bug URLs will redirect to their equivalent location on the new bug tracker.