On Tue, Mar 11, 2025 at 9:44 PM Tamir Duberstein <[email protected]> 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
