11 Mar
2025
11 Mar
'25
8:49 p.m.
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, one can look for it manually in the linked config (i.e. `CONFIG_RUSTC_VERSION_TEXT`).
Cheers, Miguel