13 Mar
2025
13 Mar
'25
12:40 a.m.
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@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