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

diff --git a/configure b/configure
index 5ecedfc67ee54a97edf6e2f14f2eced644c78cb1..85125152c0c67f1532c5541965524de0c38dba6b 100755 (executable)
--- 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"