Skip to content

Auto merge of #740 - rust-lang:MarcoIeni-patch-1, r=MarcoIeni #268

Auto merge of #740 - rust-lang:MarcoIeni-patch-1, r=MarcoIeni

Auto merge of #740 - rust-lang:MarcoIeni-patch-1, r=MarcoIeni #268

Annotations

2 warnings

Linting

succeeded Oct 1, 2024 in 11m 40s