summaryrefslogtreecommitdiff
path: root/GUILE-VERSION
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-06-20 11:37:24 +0200
committerLudovic Courtès <ludo@gnu.org>2019-06-20 11:43:54 +0200
commitf4db000c6081641f6ee611e293239817041bbac8 (patch)
tree0f43a1fd0100b91f85fa6598229d0a048a488293 /GUILE-VERSION
parent8cf7b06d24162d542d8fddb4f88287f1f7754bbb (diff)
Bump version for Guile 2.2.5.
* GUILE-VERSION (GUILE_MICRO_VERSION): Increment. (LIBGUILE_INTERFACE_CURRENT): Increment. (LIBGUILE_INTERFACE_AGE): Increment. (LIBGUILE_INTERFACE_REVISION): Reset.
Diffstat (limited to 'GUILE-VERSION')
-rw-r--r--GUILE-VERSION8
1 files changed, 4 insertions, 4 deletions
diff --git a/GUILE-VERSION b/GUILE-VERSION
index 32c124c84..bd2525775 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=2
-GUILE_MICRO_VERSION=4
+GUILE_MICRO_VERSION=5
GUILE_EFFECTIVE_VERSION=2.2
@@ -16,7 +16,7 @@ GUILE_EFFECTIVE_VERSION=2.2
# See libtool info pages for more information on how and when to
# change these.
-LIBGUILE_INTERFACE_CURRENT=4
-LIBGUILE_INTERFACE_REVISION=1
-LIBGUILE_INTERFACE_AGE=3
+LIBGUILE_INTERFACE_CURRENT=5
+LIBGUILE_INTERFACE_REVISION=0
+LIBGUILE_INTERFACE_AGE=4
LIBGUILE_INTERFACE="${LIBGUILE_INTERFACE_CURRENT}:${LIBGUILE_INTERFACE_REVISION}:${LIBGUILE_INTERFACE_AGE}"