Thanks, patch applied.
On Fri, Jan 12, 2018 at 11:45 AM, Magnus Hagander <magnus(at)hagander(dot)net>
wrote:
> Looks like a simple copy/paste bug.
>
> //Magnus
>
>
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company