Re: [GIT PULL] pin-init changes for v7.3-rc1
Miguel Ojeda <[email protected]>
| Newsgroups | org.kernel.vger.rust-for-linux,org.kernel.vger.linux-next |
|---|---|
| Message-ID | <CANiq72nMMRG_mduKbfyEJ1a94R601KHHBog4LQPnpWx4NXkw4w@mail.gmail.com> |
On Sun, Aug 9, 2026 at 2:16 PM Gary Guo <[email protected]> wrote: > > Oops, indeed! That's embarrassing. I've pushed it now (it was the same commit as > the current tip of pin-init-next, 1e26aea0355ad2afa1ccbc62885c01f5bcfc58ca). No need to apologize! I think it happens on most merge windows :) Cheers, Miguel