On Wed, Feb 21, 2018 at 3:10 PM, Thomas Munro <thomas.mu...@enterprisedb.com> wrote: > Here's a tiny patch to fix a typo.
I have pushed a tiny commit containing it. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company