Re: [GIT PULL] pin-init changes for v7.3-rc1

"Gary Guo" <[email protected]>
Newsgroups org.kernel.vger.rust-for-linux,org.kernel.vger.linux-next
Message-ID <[email protected]> 
On Sun Aug 9, 2026 at 12:52 PM BST, Miguel Ojeda wrote:
> 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?

Oops, indeed! That's embarrassing. I've pushed it now (it was the same commit as
the current tip of pin-init-next, 1e26aea0355ad2afa1ccbc62885c01f5bcfc58ca).

Best,
Gary
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.