Skip to content

Fix clippy warning#222

Merged
bors[bot] merged 1 commit intorust-embedded:masterfrom
bugadani:fix-clippy
Jun 6, 2020

Commits

Commits on Jun 6, 2020