summaryrefslogtreecommitdiff
path: root/dists/source
diff options
context:
space:
mode:
Diffstat (limited to 'dists/source')
-rw-r--r--dists/source/build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/dists/source/build.sh b/dists/source/build.sh
index a42e644d..09f47333 100644
--- a/dists/source/build.sh
+++ b/dists/source/build.sh
@@ -9,7 +9,7 @@ else
pgdoc="true";
fi
-version="1.2.12";
+version="1.2.13";
#rpmversion="1.2.6";
build_d="../release";