Skip to content

Comments

Fix SAFETY comment tag casing in undocumented_unsafe_blocks#8138

Merged
bors merged 1 commit intomasterfrom
unknown repository
Dec 20, 2021
Merged

Fix SAFETY comment tag casing in undocumented_unsafe_blocks#8138
bors merged 1 commit intomasterfrom
unknown repository

Commits

Commits on Dec 17, 2021