New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[chore] fix one clippy 1.84 lint #202

Open

strohel wants to merge 1 commit into main from fix-clippy-1.84

+1 −1

Member

strohel commented Jan 26, 2025

Check test_all.sh is passed.
Add fix #{ISSUE_NUMBER} if the corresponding issue exists.
Fill out ## Changelog section. If the change is for only internal use, please write None to the section.

Changelog

None


          [chore] fix one clippy 1.84 lint

f63ea9d

strohel requested review from bschwind and Y-Nak

January 26, 2025 13:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet