On Thu, May 14, 2020 at 1:30 PM Nikita Glukhov <n.glu...@postgrespro.ru> wrote: > I agree that this patch is an improvement.
OK, I'm going to push this patch if no objections. (Sergey doesn't seem to continue involvement in PostgreSQL development, so it doesn't look like we should wait for him) ------ Alexander Korotkov Postgres Professional: http://www.postgrespro.com The Russian Postgres Company
