Bump version to 7.1. (No "beta1", since we're just going to forget to

change it again anyway.)

diff --git a/doc/src/sgml/version.sgml b/doc/src/sgml/version.sgml
index 4930197f51bc0325b22f1745a39c8f59425a7dd3..88b66ae52c0e71ac6886e46cea96a8016fb48a73 100644 (file)
--- a/doc/src/sgml/version.sgml
+++ b/doc/src/sgml/version.sgml
@@ -3,5 +3,5 @@ Update this file to propagate correct current version numbers to the
 documentation.  In text, use for example &version; to refer to them.
 -->
 
-<!entity version "7.1devel">
+<!entity version "7.1">
 <!entity majorversion "7.1">