On Wed, Apr 3, 2019 at 10:32 PM Masahiko Sawada <sawada.m...@gmail.com> wrote: > Attached the updated version patch.
Committed with a little bit of documentation tweaking. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
