Hi, On Wed, 14 May 2008, Johannes Sixt wrote:
> 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? AFAIAC you can reset master. Ciao, Dscho
