Skip to content

Remove an unused variable#128

Merged
kou merged 1 commit into
masterfrom
unused-variable
May 16, 2024
Merged

Remove an unused variable#128
kou merged 1 commit into
masterfrom
unused-variable

Conversation

@nobu

@nobu nobu commented May 16, 2024

Copy link
Copy Markdown
Member

Fix up #126.

@nobu
nobu requested a review from kou May 16, 2024 05:24
@kou
kou merged commit b67081c into master May 16, 2024
@kou
kou deleted the unused-variable branch May 16, 2024 05:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants