WIP: Trial using context.bat
instead of context.sh
on Windows in docker
#6541
Loading
context.bat
instead of context.sh
on Windows in docker
#6541