Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Fixes a small issue that came up in #3887 (comment).

FYI @sometastycake

@Bibo-Joshi Bibo-Joshi merged commit c82a080 into master Oct 22, 2023
@Bibo-Joshi Bibo-Joshi deleted the handler-no-qualname branch October 22, 2023 10:43
@github-actions github-actions bot locked and limited conversation to collaborators Oct 30, 2023
@Bibo-Joshi Bibo-Joshi added 🔌 enhancement pr description: enhancement and removed enhancement labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

🔌 enhancement pr description: enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants