Release 0.14.

* configure (VERSION): Bump to 0.14.

diff --git a/configure b/configure
index 17a168dea66ab01b64e91dd33b2a9cdba6771559..7ecc29a075343885e7babe29fb58947447cda05c 100755 (executable)
--- a/configure
+++ b/configure
@@ -58,7 +58,7 @@ exec ${GUILE-guile} --no-auto-compile -e '(configure)' -s "$0" ${1+"$@"}
 
 (define *shell* "sh")
 (define PACKAGE "mes")
-(define VERSION "0.13")
+(define VERSION "0.14")
 (define PREFIX "/usr/local")
 (define GUILE_EFFECTIVE_VERSION (effective-version))
 (define GUILE (or (getenv "guile") "guile"))