On Fri, Jan 13, 2023 at 7:26 AM Andres Freund <andres(at)anarazel(dot)de> wrote:> On 2023-01-12 20:35:43 +1300, Thomas Munro wrote:> > Subject: [PATCH] Fix WaitEventSetWait() buffer overrun.
> Makes sense. We should backpatch this, I think?
Done.