On Wed, Feb 21, 2018 at 3:10 PM, Thomas Munro <[email protected]> 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
On Wed, Feb 21, 2018 at 3:10 PM, Thomas Munro <[email protected]> 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