Skip to content

Move unchecked_duration_subtraction to pedantic#10194

Merged
bors merged 1 commit intorust-lang:masterfrom
Alexendoo:unchecked-duration-subtraction-pedantic
Jan 13, 2023
Merged

Move `unchecked_duration_subtraction` to pedantic#10194
bors merged 1 commit intorust-lang:masterfrom
Alexendoo:unchecked-duration-subtraction-pedantic

Commits

Commits on Jan 13, 2023