From ef69b7a28ab11581950afebc1ba3ad1844f20316 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 10 Sep 2017 21:55:05 +0200
Subject: [PATCH] Release 0.10.

* configure (VERSION): Bump to 0.10.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 59836984..30068dec 100755
--- a/configure
+++ b/configure
@@ -52,7 +52,7 @@ exec ${GUILE} --no-auto-compile -L $(pwd) -C $(pwd) -e 'main' -s "$0" ${1+"$@"}
 
 (define *shell* "sh")
 (define PACKAGE "mes")
-(define VERSION "0.9")
+(define VERSION "0.10")
 (define PREFIX "/usr/local")
 (define GUILE_EFFECTIVE_VERSION (effective-version))
 (define GUILE (or (getenv "guile") "guile"))