Skip to content

Auto merge of #528 - ToMe25:clippy_fixes, r=Amanieu #729

Auto merge of #528 - ToMe25:clippy_fixes, r=Amanieu

Auto merge of #528 - ToMe25:clippy_fixes, r=Amanieu #729

Annotations

1 warning

miri

succeeded May 30, 2024 in 1m 47s