Skip to content

Conversation

japaric
Copy link
Member

@japaric japaric commented May 9, 2022

rebased version of PR #276
closes #276
closes #103
closes #258

@MarcusGrass thanks for the PR!

@japaric
Copy link
Member Author

japaric commented May 9, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented May 9, 2022

Build succeeded:

@bors bors bot merged commit 705f93b into master May 9, 2022
@bors bors bot deleted the gh276 branch May 9, 2022 15:08
@Ten0 Ten0 mentioned this pull request May 16, 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.

IndexMap doesn't allow update of existing record when full Entry API for maps
2 participants