Merge branch 'hot_fix_v3' into 'master'

Update windows.py

See merge request !7
2 jobs for master in 1 minute and 26 seconds (queued for 6 seconds)