diff options
author | Ludovic Courtès <ludo@gnu.org> | 2010-09-04 20:20:14 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2010-09-04 20:20:14 +0200 |
commit | 4d85751c10eebf7f878df029fabb343964198edf (patch) | |
tree | da06a44dbb7e5877bf95f3855f7658619d78bbcb /GUILE-VERSION | |
parent | 0f6611fb8b31c57ec4f2cff810e6063dc7c33b43 (diff) |
Bump version number for 1.9.12.
* 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 ba075de9d..2b518dfe1 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=11 +GUILE_MICRO_VERSION=12 GUILE_EFFECTIVE_VERSION=2.0 |