On Wed, 11 Dec 2024 at 01:22, Guillaume Lelarge <guilla...@lelarge.info> wrote: > Le mar. 10 déc. 2024 à 03:57, David Rowley <dgrowle...@gmail.com> a écrit : >> I was very close to pushing 0001 today, but will hold off until >> tomorrow to see if anyone has final comments. >> > No more comments. I'm fine with both patches.
Thanks for looking. I've pushed the main patch. I'm not planning on pushing the auto_explain.log_buffers default change unless there's a bit more discussion about it. David