On Thu, Feb 28, 2019 at 3:12 AM Masahiko Sawada <sawada.m...@gmail.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...@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