On Jan 11, 2014, at 1:47 PM, Andrew Dunstan <andrew(at)dunslane(dot)net> wrote:
> It's been committed at <https://github.com/feodor/postgres/commit/a21a4be55a5b12c4bd89b6ab2f77cf32e319de31>. It will be in the next version of the patch posted.
Bah! Sorry about that. Habit from decades of typing HTML.
David