Skip to content

[clippy] Be more permissive with safety comments - #398

Merged
joshlf merged 1 commit into
mainfrom
clippy-unsafe-blocks
Oct 24, 2023
Merged

[clippy] Be more permissive with safety comments#398
joshlf merged 1 commit into
mainfrom
clippy-unsafe-blocks

Commits

Commits on Oct 24, 2023