Created attachment 66292 [details] [review] patch No longer needed after the switch to git.
thanks a lot !
commit ed5a7e6442d5a7d8faf0bd51a85439e11eb8bc46
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.