[Guile-commits] 03/03: Bump version number to 2.0.12

[Andy Wingo]

wingo pushed a commit to branch stable-2.0
in repository guile.

commit c1eb929258fc6b9653d31c0d1bc654d9e300d4e5
Author: Andy Wingo <address@hidden>
Date:   Thu Jul 14 16:59:02 2016 +0200

    Bump version number to 2.0.12
    
    * GUILE-VERSION (GUILE_MICRO_VERSION): Bump to 2.0.12.
      (LIBGUILE_INTERFACE_CURRENT): Increment, to account for
      scm_pointer_to_procedure_with_errno et al.
      (LIBGUILE_INTERFACE_REVISION): Reset to 0.
      (LIBGUILE_INTERFACE_AGE): Still compatible with the past, so
      increment.
---
 GUILE-VERSION |    8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/GUILE-VERSION b/GUILE-VERSION
index 943f62c..10dec7d 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=0
-GUILE_MICRO_VERSION=11
+GUILE_MICRO_VERSION=12
 
 GUILE_EFFECTIVE_VERSION=2.0
 
@@ -18,7 +18,7 @@ GUILE_EFFECTIVE_VERSION=2.0
 # See libtool info pages for more information on how and when to
 # change these.
 
-LIBGUILE_INTERFACE_CURRENT=29
-LIBGUILE_INTERFACE_REVISION=2
-LIBGUILE_INTERFACE_AGE=7
+LIBGUILE_INTERFACE_CURRENT=30
+LIBGUILE_INTERFACE_REVISION=0
+LIBGUILE_INTERFACE_AGE=8
 
LIBGUILE_INTERFACE="${LIBGUILE_INTERFACE_CURRENT}:${LIBGUILE_INTERFACE_REVISION}:${LIBGUILE_INTERFACE_AGE}"