Skip to content

Fix clippy warnings#365

Merged
marco-c merged 1 commit intomozilla:masterfrom
SoftengPoliTo:fix-clippy
Nov 20, 2020
Merged

Fix clippy warnings#365
marco-c merged 1 commit intomozilla:masterfrom
SoftengPoliTo:fix-clippy

Commits

Commits on Nov 20, 2020