diff options
| -rw-r--r-- | GUILE-VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GUILE-VERSION b/GUILE-VERSION index ba9328734..89f0a55a4 100644 --- a/GUILE-VERSION +++ b/GUILE-VERSION @@ -2,7 +2,7 @@ GUILE_MAJOR_VERSION=1 GUILE_MINOR_VERSION=9 -GUILE_MICRO_VERSION=7 +GUILE_MICRO_VERSION=8 GUILE_EFFECTIVE_VERSION=${GUILE_MAJOR_VERSION}.${GUILE_MINOR_VERSION} GUILE_VERSION=${GUILE_EFFECTIVE_VERSION}.${GUILE_MICRO_VERSION} |