Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

closes #2212

I applied the .copy() trick also to list, set, because we might have the same issue as with (default)dict here.

@Bibo-Joshi Bibo-Joshi added this to the 13.1 milestone Nov 21, 2020
@Bibo-Joshi Bibo-Joshi merged commit df6d5f0 into master Nov 22, 2020
@Bibo-Joshi Bibo-Joshi deleted the fix-2212 branch November 22, 2020 10:08
@github-actions github-actions bot locked and limited conversation to collaborators Nov 23, 2020
@Bibo-Joshi Bibo-Joshi added 🔌 bug pr description: bug and removed bug 🐛 labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

🔌 bug pr description: bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] Some bugs in replace/insert_bot

2 participants