From 1b2be93d6e9537a623e9cc476e151341c6e39a1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 24 Jun 2020 15:19:27 +0200
Subject: [PATCH] Revert "GNU Guile 3.0.3."

This change suggested an ABI incompatibility that's not there for normal
builds:

  https://lists.gnu.org/archive/html/guile-user/2020-06/msg00059.html

Reported by Chris Vine.

This reverts commit 5d052c87bd8f0fd894e67f0bebd4fa6f6160d83c.
---
 GUILE-VERSION | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/GUILE-VERSION b/GUILE-VERSION
index f005f3789..3bb019510 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=3
 GUILE_MINOR_VERSION=0
-GUILE_MICRO_VERSION=3
+GUILE_MICRO_VERSION=2
 
 GUILE_EFFECTIVE_VERSION=3.0
 
@@ -16,7 +16,7 @@ GUILE_EFFECTIVE_VERSION=3.0
 # See libtool info pages for more information on how and when to
 # change these.
 
-LIBGUILE_INTERFACE_CURRENT=3
-LIBGUILE_INTERFACE_REVISION=0
-LIBGUILE_INTERFACE_AGE=0
+LIBGUILE_INTERFACE_CURRENT=2
+LIBGUILE_INTERFACE_REVISION=1
+LIBGUILE_INTERFACE_AGE=1
 LIBGUILE_INTERFACE="${LIBGUILE_INTERFACE_CURRENT}:${LIBGUILE_INTERFACE_REVISION}:${LIBGUILE_INTERFACE_AGE}"