Skip to content

Fix linting on clippy > 1.71#426

Merged
bors[bot] merged 1 commit intogeorust:masterfrom julienr:fix-for-clippy-1-71Jul 26, 2023

Commits

Commits on Jul 25, 2023