On Tue, 7 Nov 2017, Kai Tietz via Mingw-w64-public wrote:
Patch is okay. Please go ahead ans commit.
Pushed, thanks! // 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 Mingw-w64-public@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
