Thu, 20 Mar 2014 17:27:29 +0100Disable stage4 options with on windows since getsuboptr isn't supported in mingw
Edouard Tisserant [Thu, 20 Mar 2014 17:27:29 +0100] rev 882
Disable stage4 options with on windows since getsuboptr isn't supported in mingw

Thu, 20 Mar 2014 10:29:39 +0100merge
Edouard Tisserant [Thu, 20 Mar 2014 10:29:39 +0100] rev 881
merge