diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-06-20 11:37:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-06-20 11:43:54 +0200 |
| commit | f4db000c6081641f6ee611e293239817041bbac8 (patch) | |
| tree | 0f43a1fd0100b91f85fa6598229d0a048a488293 | |
| parent | 8cf7b06d24162d542d8fddb4f88287f1f7754bbb (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.
| -rw-r--r-- | GUILE-VERSION | 8 |
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}" |