Skip to content

Fix elided_lifetimes_in_paths lints#22

Merged
waywardmonkeys merged 1 commit intolinebender:mainfrom
waywardmonkeys:fix-lifetime-warnings
Jan 2, 2025
Merged

Fix elided_lifetimes_in_paths lints#22
waywardmonkeys merged 1 commit intolinebender:mainfrom
waywardmonkeys:fix-lifetime-warnings

Commits

Commits on Dec 28, 2024