Thanks for looking at the patch.
On 2 March 2018 at 08:33, David Steele <david@pgmasters.net> wrote:
> This patch applies but no longer builds:
...
> Looks like duplicate OIDs in pg_proc.h.
Who stole my OIDs?!
Updated patch attached.
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services