Attachment #142208
The fix is obvious, but here is a patch if it helps patch 2018-10-26 04:00:52 UTC 690 bytes no flags Details

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.