ssia
Created attachment 6475 [details] [review] patch
Good point, fixed in CVS.
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.