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

petere · petere · commit ec6a367e9011 · 2000-12-17T11:25:58.000Z
change it again anyway.)
diff --git 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">
