diff --git a/GUILE-VERSION b/GUILE-VERSION index 09b399fb5..f47534acd 100644 --- a/GUILE-VERSION +++ b/GUILE-VERSION @@ -2,7 +2,7 @@ GUILE_MAJOR_VERSION=1 GUILE_MINOR_VERSION=5 -GUILE_MICRO_VERSION=2 +GUILE_MICRO_VERSION=3 GUILE_VERSION=${GUILE_MAJOR_VERSION} GUILE_VERSION=${GUILE_VERSION}.${GUILE_MINOR_VERSION}