Re: [GIT PULL] Rust pin-init for v6.16

From: Miguel Ojeda
Date: Sun May 18 2025 - 16:49:29 EST


On Wed, May 7, 2025 at 12:55 PM Benno Lossin <lossin@xxxxxxxxxx> wrote:
>
> https://github.com/Rust-for-Linux/linux.git tags/pin-init-v6.16

Congratulations on your first PR!

Merged into `rust-next` -- thank you!

Cheers,
Miguel