Skip to content

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

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

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

Annotations

1 warning

miri

succeeded May 30, 2024 in 1m 51s