Re: [PATCH] tools/memory-model Flag suspicious use of srcu cookies

[Paul E. McKenney]

On Tue, Jan 24, 2023 at 03:52:29PM -0500, Alan Stern wrote:
> On Tue, Jan 24, 2023 at 11:15:35AM -0800, Paul E. McKenney wrote:
> > Thank you both!
> > 
> > I wordsmithed the commit log as follows, but then realized that this
> > depends on Alan's earlier patch.
> > 
> > Did I miss the official version?  The latest one I have is
> > message-id Y8q9zjxA620GAFu2@xxxxxxxxxxxxxxxxxxx.
> 
> I wanted to update the patch description before submitting it 
> officially, but I haven't gotten around to it yet.

Would you like to queue Jonas's patch in the meantime?

Either way works for me, give or take forgetfulness.

							Thanx, Paul