@Aaron Turon @nikomatsakis ping, is still some help needed here?
I'd be happy to help and be around :)
yes, there will be-- this has kinda been on pause because of some big stuff happening with my family, but i'm getting back into it now and will keep you posted :heart:
@Aaron Turon first of all, I hope you're fine and feel good. That's the most important thing.
about Rustc stuff, feel free to ping me when you can and want
@Santiago Pastorino You could perhaps review https://github.com/rust-lang/rust/pull/61873.