On Fri, Apr 04, 2025 at 12:25:50PM -0700, Brennan Vincent wrote: > Ping. > > Efraim, any thoughts on this? > Sorry, I was away visiting family for most of April and just recently got back. Patch pushed to the rust-team branch. Hopefully it makes Doing Rust Things™ better for everyone. -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted