On Tue, Mar 11, 2025 at 09:49:56PM +0100, Miguel Ojeda wrote: > On Tue, Mar 11, 2025 at 9:44 PM Tamir Duberstein <tam...@gmail.com> 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 >
