On 07.01.2016 13:49, Dave Page wrote:
>
> What did you create the patch against?
HEAD from git.postgresql from like 2 days ago.
Regards,
--
Andreas 'ads' Scherbaum
German PostgreSQL User Group
European PostgreSQL User Group - Board of Directors
Volunteer Regional Contact, Germany - PostgreSQL Project