Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Closes #2513

Checklist for PRs

  • .. versionadded:: version not necessary, this is more a bug fix than a change …
  • Created new or adapted existing unit tests

@Bibo-Joshi Bibo-Joshi added this to the v13.6 milestone May 15, 2021
@Bibo-Joshi Bibo-Joshi requested a review from harshil21 May 15, 2021 14:49
@Bibo-Joshi
Copy link
Member Author

Test failure apparently due to GH Actions currently having problems, see https://www.githubstatus.com
When that's resolved & we can rerun, I guess I'll merge. Thanks for the review @harshil21 !

@Bibo-Joshi Bibo-Joshi merged commit 08ba7c7 into master May 16, 2021
@Bibo-Joshi Bibo-Joshi deleted the persistence-handle-types branch May 16, 2021 18:02
@github-actions github-actions bot locked and limited conversation to collaborators May 18, 2021
@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] Bot.insert/replace_bot with types

3 participants