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

On Tue, Nov 26, 2024 at 04:25:46PM +0100, Jonas Oberhauser wrote:
> 
> 
> Am 11/18/2024 um 4:05 PM schrieb Paul E. McKenney:
> > On Fri, Nov 08, 2024 at 10:35:24AM -0800, Paul E. McKenney wrote:
> >>
> > > And now you know.  ;-)
> > 
> > if it is important to
> > get the first three into the current merge window, please rebase them
> > to mainline some time this week
> 
> > Over to you!
> 
> Luckily there's no need and we can wait until a new herd release.

Sounds good, and here is hoping for sooner rather than later.

							Thanx, Paul