`Cherry-Pick` Fix 13805 (#13815)#13924

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

vzarytovskii:arm32-fix-cherry-pickvzarytovskii/fsharp:arm32-fix-cherry-pickCopy head branch name to clipboard