From: Bruce Momjian <bruce@momjian.us>
Date: Fri, 11 May 2001 01:35:47 +0000 (+0000)
Subject: Can't run autoconf on rel, so just manually update.
X-Git-Url: http://git.postgresql.org/gitweb/?a=commitdiff_plain;h=fd130367b2b70437e20349143eb646924acccc20;p=users%2Fbernd%2Fpostgres.git

Can't run autoconf on rel, so just manually update.
---

diff --git a/configure b/configure
index 5ecedfc67e..85125152c0 100755
--- a/configure
+++ b/configure
@@ -609,7 +609,7 @@ ac_config_sub=$ac_aux_dir/config.sub
 ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
 
 
-VERSION='7.1.1'
+VERSION='7.1.2'
 
 cat >> confdefs.h <<EOF
 #define PG_VERSION "$VERSION"