On Wed, Feb 21, 2018 at 3:10 PM, Thomas Munro
<thomas.munro@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