Fix clippy warnings added in 1.79.0 and 1.80.0:#729

philipc merged 1 commit intogimli-rs:mastergimli-rs/gimli:masterfrom

marxin:fix-new-clippy-warningsmarxin/gimli:fix-new-clippy-warningsCopy head branch name to clipboard