On Fri, May 22, 2026 at 4:26 PM Matthias van de Meent <[email protected]> wrote: > > On Thu, 14 May 2026 at 14:48, Masahiko Sawada <[email protected]> wrote: > > > > While reviewing the patches, I realized that it would be better to use > > pg_atomic_write_membarrier_u32() instead of pg_atomic_write_u32() + > > pg_memory_barrier() where available. I've updated the patch for master > > and 18, and slightly commit messages. > > LGTM, thanks for getting this fixed! >
Pushed the fix down to v15. Thank you for reviewing the patches! Regards, -- Masahiko Sawada Amazon Web Services: https://aws.amazon.com
