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.

[patch] fixed patch

patch00 (text/plain), 722 bytes, created by Rainer Deyke on 2020-07-22 17:06:51 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Rainer Deyke

Created: 2020-07-22 17:06:51 UTC

Size: 722 bytes

patch

obsolete

Actions: View | Diff

Attachments on bug 5242: 4424 | 4425

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.