Skip to content

Auto merge of #553 - Amanieu:allocation_size, r=Amanieu #837

Auto merge of #553 - Amanieu:allocation_size, r=Amanieu

Auto merge of #553 - Amanieu:allocation_size, r=Amanieu #837

Annotations

1 warning

miri

succeeded Sep 18, 2024 in 1m 52s