On 01.08.2020 08:47, Julio César Rocha wrote: > Friendly ping. > > Are these changes acceptable now? > I still don't see why they are neccesary. I did a test-build just yesterday with current git master, and it succeeded just fine with --toolchain=msvc in WSL launched via msvc cli.