Merge release/dev16.8 to main#10446

KevinRansom merged 1 commit intomaindotnet/fsharp:mainfrom

merges/release/dev16.8-to-maindotnet/fsharp:merges/release/dev16.8-to-mainCopy head branch name to clipboard