Skip to content

clippy: Many more cleanups; enable pedantic warnings#457

Merged
sourcefrog merged 21 commits intomainfrom clippyNov 24, 2024

Commits

Commits on Nov 23, 2024