Thanks, patch applied. On Fri, Jan 12, 2018 at 11:45 AM, Magnus Hagander <mag...@hagander.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
