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

[Miguel Ojeda]

On Tue, Apr 7, 2026 at 4:49 PM Gary Guo <gary@xxxxxxxxxxx> wrote:
>
> A gentle nudge about this PR.

No worries, it isn't forgotten.

This one (and Andreas' one) had newer bases so they count as back
merges, thus I decided to put them at the top of my PR to avoid
affecting the branch until then.

(By the way, for the future, please try to pick a base at most as
recent as the upstream one, i.e. `rust-next`, so that they don't count
as back merges -- we should avoid those wherever possible.).

Thanks for the ping!

Cheers,
Miguel