Re: [GIT PULL] Rust fixes for 7.4

[Miguel Ojeda]

On Thu, Oct 29, 2026 at 10:16 PM Miguel Ojeda
<miguel.ojeda.sandonis@xxxxxxxxx> wrote:
>
> Emilio (the maintainer, Cc'd) is open to improvements and helps us
> when possible / within his bandwidth, so we will see.

And by this I don't mean that Emilio has to do it, of course, i.e. I
just meant to land it.

Cheers,
Miguel