Skip to content

Fix SAFETY comment tag casing in undocumented_unsafe_blocks#8138

Merged
bors merged 1 commit intorust-lang:masterfrom wooster0:safetyDec 20, 2021

Commits

Commits on Dec 17, 2021