On 24 March 2017 at 04:54, Peter Eisentraut
<peter.eisentraut@2ndquadrant.com> wrote:
> Fixed.
Congratulations on getting this done. It's great work, and it'll make
a whole class of potential bugs and platform portability warts go away
if widely adopted.
-- Craig Ringer http://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Training & Services