ci/v3.0.5713.1867
19fb9a9e · Another attempt to workaround Windows 10 bugs (0003827 etc.); refactoring ·