Of my two development machines, which were at different states, I pushed the wrong one to mingw.git (at about 08:00 UTC today). Most visible change: Of Steffen's two different versions of fixes to the test suite the wrong one is in 'master'. I pushed the state that I meant to be there to 'master-real'.
If nobody has pulled the wrong state I'd like to reset master. But I could just as well push a fix-up patch. Any preferences from your side? -- Hannes
