Auto merge of #15976 - lnicola:sync-from-rust, r=lnicola

minor: Sync from rust
This commit is contained in:
bors 2023-11-27 15:03:48 +00:00
commit 23dc01f958

Diff Content Not Available