Thomas Eizinger a10733f8a4
chore: update Rust version for clippy check to 1.71
We also need to prepend the `clippy::allow` with an `unknown_lints` lint because clippy 1.71 does not (yet) know about this new lint.

Pull-Request: #4219.
2023-07-19 13:25:58 +00:00
..