Backport for fix 12761 (#13865)#14323

vzarytovskii merged 1 commit intodotnet:release/dev17.3dotnet/fsharp:release/dev17.3from

vzarytovskii:17.3-13607-fix-backportvzarytovskii/fsharp:17.3-13607-fix-backportCopy head branch name to clipboard