2016-11-28 21:32 GMT+03:00 Robert Haas <robertmhaas(at)gmail(dot)com>:
>
> You might need to add this patch to https://commitfest.postgresql.org/
> so that it doesn't get forgotten.
>
> --
> Robert Haas
> EnterpriseDB: http://www.enterprisedb.com
> The Enterprise PostgreSQL Company
I added the patch to https://commitfest.postgresql.org/12/895/
I added it to the next commitfest. Because we are in the end of the
current commitfest.
--
Artur Zakirov
Postgres Professional: http://www.postgrespro.com
Russian Postgres Company