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 | <CANiq72k=xyeftXo7VLvxPQkaOQdXZP69rK4_GhcEc6khuaJqHQ@mail.gmail.com> |
On Fri, Aug 7, 2026 at 12:45 PM Gary Guo <[email protected]> wrote: > > Thanks Miguel, the semantic conflict resolution looks correct to me. Thanks for checking -- by the way, I think you forgot to push the tag? Cheers, Miguel