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

[clippy] Be more permissive with safety comments

1e493fe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs