On Sat, May 14, 2022 at 3:33 AM Robert Haas <robertmh...@gmail.com> wrote: > This seems fine, but I think you should add a non-trivial comment about it.
Thanks for looking. Done, and pushed. Let's see if 180s per query is enough...
On Sat, May 14, 2022 at 3:33 AM Robert Haas <robertmh...@gmail.com> wrote: > This seems fine, but I think you should add a non-trivial comment about it.
Thanks for looking. Done, and pushed. Let's see if 180s per query is enough...