Skip to content

Rename force-warns to force-warn#87346

Merged
bors merged 1 commit intorust-lang:masterfrom
rylev:rename-force-warn
Jul 21, 2021
Merged

Rename force-warns to force-warn#87346
bors merged 1 commit intorust-lang:masterfrom
rylev:rename-force-warn

Commits

Commits on Jul 21, 2021