diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-10-12 10:38:16 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-10-12 10:38:16 +0200 |
commit | cd1b530b2a4c785a242672b572d107da47274c67 (patch) | |
tree | 375d18c46e677ff7e186bcea7d6f67e8d4501f87 | |
parent | 606cf7f7f42c072b96b941e5074338c01811b5ea (diff) | |
download | guile-cd1b530b2a4c785a242672b572d107da47274c67.tar.gz |
Bump version number to 2.0.13.
* GUILE-VERSION (GUILE_MICRO_VERSION): Increment.
(LIBGUILE_INTERFACE_REVISION): Increment.
-rw-r--r-- | GUILE-VERSION | 4 |
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}" |