chore: remove useless comment #16
Merged
GitHub Actions / clippy
succeeded
Jan 6, 2025 in 0s
No issues
clippy found no issues
Loading