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...


Reply via email to