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

From: Paul E. McKenney
Date: Tue Nov 26 2024 - 11:03:50 EST


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