Re: [PATCH 0/3] Rust 1.73.0 upgrade
From: Miguel Ojeda
Date: Sun Oct 15 2023 - 15:36:08 EST
On Thu, Oct 5, 2023 at 11:06 PM Miguel Ojeda <ojeda@xxxxxxxxxx> wrote:
>
> This is the next upgrade to the Rust toolchain since the initial Rust
> merge, from 1.72.1 to 1.73.0 (i.e. the latest, released today).
>
> Please see the main patch message for a long explanation of the upgrade,
> the policy for future upgrades and some indications on how to easily
> review this.
>
> The series is based on `rust-next`.
Applied to `rust-next` -- thanks everyone!
Cheers,
Miguel