On Thu, Feb 28, 2019 at 3:12 AM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> Attached the updated version patch.
Regarding the user interface for this patch, please have a look at the
concerns I mention in
https://www.postgresql.org/message-id/CA+TgmoZORX_UUv67rjaSX_aswkdZWV8kWfKfrWxyLdCqFqj+Yw@mail.gmail.com
I provided a suggestion there as to how to resolve the issue but
naturally others may feel differently.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company