summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-10-12 10:38:16 +0200
committerLudovic Courtès <ludo@gnu.org>2016-10-12 10:38:16 +0200
commitcd1b530b2a4c785a242672b572d107da47274c67 (patch)
tree375d18c46e677ff7e186bcea7d6f67e8d4501f87
parent606cf7f7f42c072b96b941e5074338c01811b5ea (diff)
downloadguile-cd1b530b2a4c785a242672b572d107da47274c67.tar.gz
Bump version number to 2.0.13.
* GUILE-VERSION (GUILE_MICRO_VERSION): Increment. (LIBGUILE_INTERFACE_REVISION): Increment.
-rw-r--r--GUILE-VERSION4
1 files changed, 2 insertions, 2 deletions
diff --git a/GUILE-VERSION b/GUILE-VERSION
index 10dec7d83..d76d3a91e 100644
--- a/GUILE-VERSION
+++ b/GUILE-VERSION
@@ -3,7 +3,7 @@
# Note: `GUILE_VERSION' is defined in `configure.ac' using `git-version-gen'.
GUILE_MAJOR_VERSION=2
GUILE_MINOR_VERSION=0
-GUILE_MICRO_VERSION=12
+GUILE_MICRO_VERSION=13
GUILE_EFFECTIVE_VERSION=2.0
@@ -19,6 +19,6 @@ GUILE_EFFECTIVE_VERSION=2.0
# change these.
LIBGUILE_INTERFACE_CURRENT=30
-LIBGUILE_INTERFACE_REVISION=0
+LIBGUILE_INTERFACE_REVISION=1
LIBGUILE_INTERFACE_AGE=8
LIBGUILE_INTERFACE="${LIBGUILE_INTERFACE_CURRENT}:${LIBGUILE_INTERFACE_REVISION}:${LIBGUILE_INTERFACE_AGE}"