[automated] Merge branch 'vs17.14' => 'main'#3

github-actions[bot] wants to merge 1 commit intomainJanProvaznik/msbuild:mainfrom

merge/vs17.14-to-mainJanProvaznik/msbuild:merge/vs17.14-to-mainCopy head branch name to clipboard