On Tue, Mar 11, 2025 at 9:44 PM Tamir Duberstein <tamird@xxxxxxxxx> wrote: > > By the way, it would be great if the email also included the rustc version used. Yeah, I think I may have mentioned it at some point... For the moment, one can look for it manually in the linked config (i.e. `CONFIG_RUSTC_VERSION_TEXT`). Cheers, Miguel