Pain Perdu via Gcc Mon, 10 May 2021 09:22:30 -0700
just to say the mingw.org dns is down or it's an avdertisement?? ;-(
