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