Hi!
> I'll plan to push this tomorrow with the above change (and a few > additional comments to explain what all is going on..). Is everything ok? Can it be pushed? I'm looking here, haven't found it pushed and worry about this. https://github.com/postgres/postgres/commits/master <https://github.com/postgres/postgres/commits/master?> -- Darafei Praliaskouski Support me: http://patreon.com/komzpa
