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

[Jonas Oberhauser]

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.

Have a lot of fun,
   jonas