Skip to content

lint: fixes for new lifetime lint#1278

Merged
BurntSushi merged 1 commit intomasterfrom
ag/fixes
Aug 14, 2025
Merged

lint: fixes for new lifetime lint#1278
BurntSushi merged 1 commit intomasterfrom
ag/fixes

Commits

Commits on Aug 14, 2025