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] patch

install.diff (text/plain), 382 bytes, created by Dominik Reichardt on 2019-10-18 10:09:11 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Dominik Reichardt

Created: 2019-10-18 10:09:11 UTC

Size: 382 bytes

patch

obsolete

Actions: View | Diff

Attachments on bug 4831: 3987

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.