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

Minicrater (ubuntu-latest)

succeeded Oct 1, 2024 in 16m 59s