Hmm, looks like Bruce's auto-run-autoconf script doesn't work for

tglsfdc · tglsfdc · commit bbdf4ab49427 · 2001-08-13T20:09:03.000Z
old branches...
diff --git 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.2'
+VERSION='7.1.3'
 
 cat >> confdefs.h <<EOF
 #define PG_VERSION "$VERSION"
