Remove some unnecessary code introduced in #16779 #17154
Merged
Azure Pipelines / fsharp-ci (Build WindowsNoStrictIndentation)
succeeded
May 16, 2024 in 13m 27s
Build WindowsNoStrictIndentation succeeded
Loading