Skip to content

[clippy] Be more permissive with safety comments#398

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

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

Commits

Commits on Oct 24, 2023