Skip to content

Conversation

kazupon
Copy link
Member

@kazupon kazupon commented Sep 28, 2023

@kazupon kazupon added the Type: Bug Bug or Bug fixes label Sep 28, 2023
@kazupon kazupon merged commit 2c1a08e into master Sep 28, 2023
@kazupon kazupon deleted the fix/jit-list branch September 28, 2023 07:06
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.

1 participant