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.

visual description of the bug

bug.png (image/png), 649.49 KB, created by grougrou.hh on 2018-01-08 14:43:33 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: grougrou.hh

Created: 2018-01-08 14:43:33 UTC

Size: 649.49 KB

patch

obsolete

Actions: View

Attachments on bug 4033: 3127

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.