Skip to content

New lint: Require # Safety section in pub unsafe fn docs#4535

Merged
bors merged 1 commit intomasterfrom
unsafe-doc
Sep 19, 2019
Merged

New lint: Require `# Safety` section in pub unsafe fn docs#4535
bors merged 1 commit intomasterfrom
unsafe-doc

Commits

Commits on Sep 19, 2019