On Tue, Mar 11, 2025 at 09:49:56PM +0100, Miguel Ojeda wrote: > 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, Sorry about this, I will implement this to make it clear asap. > one can look for it manually in the linked config (i.e. > `CONFIG_RUSTC_VERSION_TEXT`). > > Cheers, > Miguel >