Add a few items to the release notes, and make a few more minor cleanups.

diff --git a/doc/src/sgml/release.sgml b/doc/src/sgml/release.sgml
index f392cab7172d84b612a3e0087b53512554dda2ba..c8e895422bd9dabfae55381a4251b3aa1d7b1bc9 100644 (file)
--- a/doc/src/sgml/release.sgml
+++ b/doc/src/sgml/release.sgml
@@ -1,5 +1,5 @@