Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve Set and Map modules in the standard library #3120

Merged
merged 6 commits into from
Oct 24, 2024
Merged

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Oct 22, 2024

@lukaszcz lukaszcz added this to the 0.6.7 milestone Oct 22, 2024
@lukaszcz lukaszcz self-assigned this Oct 22, 2024
@lukaszcz lukaszcz requested review from paulcadman and janmasrovira and removed request for paulcadman October 22, 2024 16:26
@lukaszcz lukaszcz force-pushed the improve-stdlib branch 2 times, most recently from f870016 to 8774948 Compare October 23, 2024 08:23
janmasrovira
janmasrovira previously approved these changes Oct 24, 2024
@paulcadman
Copy link
Collaborator

I'll update stdlib submodule to main before we merge this.

@paulcadman paulcadman merged commit 8f180cc into main Oct 24, 2024
4 checks passed
@paulcadman paulcadman deleted the improve-stdlib branch October 24, 2024 11:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants