On Wed, Apr 3, 2019 at 10:32 PM Masahiko Sawada <[email protected]> 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
