Am 22.08.2013 16:48, schrieb Keith Marshall:
Perhaps the issue is with your internet connection; I've just (in the last five
minutes), downloaded mingw-get-setup.exe from:

Maybe related.
I tried to update (at work, fast internet GBit, no proxy) mingw using mingw-get which did not work: it gave a lot of 404 errors.
Independently on which time of the day the same result.
I only manually could update mingw-get.
When using Mingw installer (GUI) everything went smoothely.
(beside the update of mingw-get).

It seems that at home (slower notebook, slower internet) I did not have that problem.

I think the issue was discussed already also with the SF people.