On Wed, 7 Feb 2018, Kai Tietz via Mingw-w64-public wrote:
Patch is ok.
Thanks, pushed. // Martin ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Mingw-w64-public mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
