Control: merge 930492

Sorry, I should have installed newer mingw-w64-tools.  I learned after
writing the report.
-- 

Reply via email to