On Tue, Jun 18, 2024 at 05:27:45AM +0200, Andrea Parri wrote: > > Just to double check, there is also a ->po relation between R*[once] and > > W*[once], right? > > That's right. rmw = rmw & po > > I could add a note about that, but I would stick with the current patch > /version (and your Reviewed-by:) unless other requests. > Current version is fine to me, thanks! Regards, Boqun > Andrea
