Re: [GIT PULL] Rust pin-init for v7.1

[Miguel Ojeda]

On Tue, Mar 31, 2026 at 3:17 PM Benno Lossin <lossin@xxxxxxxxxx> wrote:
>
> Please pull for v7.1 -- thanks!

Merged into `rust-next` -- thanks!

As discussed offline, this counts as a back merge, so let's avoid it
in the future unless justified. This time around, I merged Andreas'
first (which was also a back merge, with an even newer base) and
provided context there, so that this one would look like a "normal"
one.

Cheers,
Miguel