Skip to content

Conversation

@kazupon
Copy link
Member

@kazupon kazupon commented Jul 13, 2021

closes #529

@kazupon kazupon added the Type: Bug Bug or Bug fixes label Jul 13, 2021
@kazupon
Copy link
Member Author

kazupon commented Jul 13, 2021

This PR is cherry-picked from master branch.

@kazupon kazupon merged commit 2262e05 into v9.1-maintain Jul 13, 2021
@kazupon kazupon deleted the hotfix/devtools branch July 13, 2021 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Bug Bug or Bug fixes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants