mirror of https://github.com/postgres/postgres
With the usual quota of minor and less-minor editorial changes.pull/54/head
parent
9f87ae38ea
commit
1ad23335f3