Created attachment 66298 [details] [review] patch No longer needed after the switch to git.
Thanks, applied in a14d489.
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.