28 Oct
2022
28 Oct
'22
10:46 p.m.
On Fri Oct 28 19:27:28 2022 +0000, Zebediah Figura wrote:
Why do we need a general memory barrier in server_select(), though? A memory barrier is part of the FlushProcessWriteBuffers API, but there are other APIs that do server_select().
I'm gonna just delete that commit