mirror of https://github.com/postgres/postgres
As usual, the release notes for other branches will be made by cutting these down, but put them up for community review first.pull/10/merge
parent
a73311e525
commit
7008e70d10