Skip to content

Conversation

@nojaf
Copy link
Contributor

@nojaf nojaf commented May 5, 2022

@dsyme this is a clean up after the changes in #13057

@dsyme
Copy link
Contributor

dsyme commented May 7, 2022

@nojaf conflict

@nojaf nojaf force-pushed the deprecation-warnings-synops branch from f2da6b3 to 077a320 Compare May 7, 2022 10:42
@nojaf
Copy link
Contributor Author

nojaf commented May 7, 2022

@dsyme resolved!

@vzarytovskii vzarytovskii merged commit 1126e23 into dotnet:main May 7, 2022
@nojaf nojaf deleted the deprecation-warnings-synops branch May 7, 2022 14:18
@dsyme
Copy link
Contributor

dsyme commented May 11, 2022

@nojaf This was great work, thank you

charlesroddie pushed a commit to charlesroddie/fsharp that referenced this pull request May 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants