diff options
| author | Tom Lane | 2001-08-13 20:09:03 +0000 |
|---|---|---|
| committer | Tom Lane | 2001-08-13 20:09:03 +0000 |
| commit | bbdf4ab494272a6962af564d161b9ea0c3f6975d (patch) | |
| tree | 998827b42cf1b217296e936d36b433f01455b363 | |
| parent | 70e01913957fccf2960db6b76d6c06018955ab96 (diff) | |
Hmm, looks like Bruce's auto-run-autoconf script doesn't work for
old branches...
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 85125152c0c..b0d3543aecf 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.2' +VERSION='7.1.3' cat >> confdefs.h <<EOF #define PG_VERSION "$VERSION" |