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

[Alan Stern]

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.

Alan