open-dsi
/
postgres
mirror of https://github.com/postgres/postgres
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
change it again anyway.)
REL7_1_STABLE
Peter Eisentraut 25 years ago
parent a4e29286b3
commit ec6a367e90
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      doc/src/sgml/version.sgml

2
doc/src/sgml/version.sgml
Unescape View File

@ -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. documentation. In text, use for example &version; to refer to them.
--> -->
<!entity version "7.1devel"> <!entity version "7.1">
<!entity majorversion "7.1"> <!entity majorversion "7.1">

Write Preview
Loading…
Cancel
Save