Open vzarytovskii opened 3 weeks ago
Should we revert https://github.com/dotnet/fsharp/pull/15982 now?
Originally posted by @0101 in https://github.com/dotnet/fsharp/issues/15972#issuecomment-1790904874
Maybe better to do such a thing after release cutoff, not before?
(= to get more testing)
Maybe better to do such a thing after release cutoff, not before? (= to get more testing)
Yes, definitely
Should we revert https://github.com/dotnet/fsharp/pull/15982 now?
Originally posted by @0101 in https://github.com/dotnet/fsharp/issues/15972#issuecomment-1790904874