Skip to content

Fix clippy lints#89405

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-clippy-lints
Oct 2, 2021
Merged

Fix clippy lints#89405
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-clippy-lints

Commits

Commits on Oct 1, 2021