Merge release/dev17.9 to main#16678

vzarytovskii merged 2 commits intomaindotnet/fsharp:mainfrom

merges/release/dev17.9-to-maindotnet/fsharp:merges/release/dev17.9-to-mainCopy head branch name to clipboard