mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04:00
Set the release date. Do a bunch of copy-editing and markup improvement, rearrange some stuff into what seemed a more sensible order, move some things that did not seem to be in the right section.