On Fri, Jun 07, 2024 at 08:30:06AM -0700, Andres Freund wrote:> Yes, makes sense. Looks we changed direction during development a bunch of times...q
Thanks for looking, Andres! I guess I'll just apply that once v18opens up.--Michael