doc: Release notes refinements
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 29 Sep 2019 07:50:36 +0000 (09:50 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 29 Sep 2019 07:50:36 +0000 (09:50 +0200)
commit3e3e32a1c160ec4e2342068515dfaf1dd04c6078
treec833e6ecf5bda685f7070edd319d29d78db78487
parenta430c7b4afe8278223541d3efee2281ee9135c1d
doc: Release notes refinements

In particular, make some more precise links for some major items.
doc/src/sgml/ref/alter_table.sgml
doc/src/sgml/release-12.sgml