Skip to content

Comments

Replace the use of dicts.add(...) with the native operator to union dictionaries#496

Merged
luispadron merged 2 commits intomainfrom
luis/replace-dicts-lib
Jan 3, 2026
Merged

Replace the use of dicts.add(...) with the native operator to union dictionaries#496
luispadron merged 2 commits intomainfrom
luis/replace-dicts-lib

Conversation

@luispadron
Copy link
Contributor

Cherry-pick: a849ab4 + more changes to remove references to dicts.add

@luispadron luispadron force-pushed the luis/replace-dicts-lib branch from a72814a to 9dfc985 Compare January 3, 2026 04:25
@luispadron luispadron enabled auto-merge (squash) January 3, 2026 04:26
luispadron referenced this pull request Jan 3, 2026
@luispadron luispadron force-pushed the luis/replace-dicts-lib branch from 9dfc985 to 50c836f Compare January 3, 2026 04:31
@luispadron luispadron merged commit a3de364 into main Jan 3, 2026
13 checks passed
@luispadron luispadron deleted the luis/replace-dicts-lib branch January 3, 2026 06:34
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