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

From: Jonas Oberhauser
Date: Tue Nov 26 2024 - 10:26:25 EST




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