diff options
author | Ludovic Courtès <ludo@gnu.org> | 2010-10-15 10:19:57 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2010-10-15 15:56:07 +0200 |
commit | 9546dc8cbf74ebab708a47a5080901213f02f3be (patch) | |
tree | 5374f633d441650371965d7acab7c2a87c8b0d60 /GUILE-VERSION | |
parent | 3fff6e71ff575a19e21ab16d3eb4b2b904d55c37 (diff) |
Bump version number for 1.9.13.
* GUILE-VERSION (GUILE_MICRO_VERSION): Increment.
Diffstat (limited to 'GUILE-VERSION')
-rw-r--r-- | GUILE-VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GUILE-VERSION b/GUILE-VERSION index da181acc3..49f98a712 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=1 GUILE_MINOR_VERSION=9 -GUILE_MICRO_VERSION=12 +GUILE_MICRO_VERSION=13 GUILE_EFFECTIVE_VERSION=2.0 |