Skip to content

Conversation

edgarfgp
Copy link
Member

Click “Files changed” → “⋯” → “View file” for the rendered RFC.

@edgarfgp edgarfgp marked this pull request as ready for review October 4, 2024 19:34
@edgarfgp edgarfgp force-pushed the deprecate-places-where-seq-can-be-omitted branch from cefeb1b to 51654bf Compare October 4, 2024 19:38
@edgarfgp edgarfgp force-pushed the deprecate-places-where-seq-can-be-omitted branch from 51654bf to 2014d76 Compare October 4, 2024 19:48
edgarfgp and others added 2 commits October 4, 2024 23:38
Co-authored-by: Martin <29605222+Martin521@users.noreply.github.com>
@edgarfgp edgarfgp force-pushed the deprecate-places-where-seq-can-be-omitted branch from 8128da7 to 5d0c49e Compare October 5, 2024 18:45
@edgarfgp
Copy link
Member Author

edgarfgp commented Oct 5, 2024

This is ready.

@vzarytovskii vzarytovskii merged commit 412fb89 into fsharp:main Oct 6, 2024
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