Re: [PATCH v4 5/5] tools/memory-model: Distinguish between syntactic and semantic tags

[Paul E. McKenney]

On Thu, Nov 07, 2024 at 07:51:52PM +0900, Akira Yokosawa wrote:
> Jonas, despite the CC, your message has not made my gmail mbox, not even
> the spam folder.
> I'm replying using lore's reply link.
> 
> On Thu, 7 Nov 2024 10:05:18 +0100, Jonas Oberhauser wrote:
> > Am 11/6/2024 um 7:00 PM schrieb Paul E. McKenney:
> >> Never mind, I found your patch in my spam folder. 
> > Glad that got cleared up. I had gotten very confused because you had 
> > also responded to the thread with the patch.
> > 
> >  > check this commit on -rcu
> > 
> > For future reference, where can I find the -rcu repository? I couldn't 
> > find the commit on paulmckrcu/linux, but maybe I looked incorrectly.
> 
> You can find your patches at:
> 
>     [v4] https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=c53d54ed7e40255ea0ea66dd121672fd22423326
>     [v5] https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=9b13bea0966c498629e221c3022a591cc88d4c57
> 
> and
> 
>     [v4] https://github.com/paulmckrcu/linux/commit/c53d54ed7e40255ea0ea66dd121672fd22423326
>     [v5] https://github.com/paulmckrcu/linux/commit/9b13bea0966c498629e221c3022a591cc88d4c57
> 
> As Paul mentioned elsewhere, the [v5] patch misses tags from Boqun at the moment.

Thank you both!

Just for the record, I must sadly but emphatically agree with Jonas's
point about things getting unfixed...

							Thanx, Paul