Skip to content

Fix SAFETY comment tag casing in undocumented_unsafe_blocks - #8138

Merged
bors merged 1 commit into
masterfrom
unknown repository
Dec 20, 2021
Merged

bors merged 1 commit into
masterfrom
unknown repository

Fix SAFETY comment tag casing in undocumented_unsafe_blocks

eba4413
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs