Release 0.15.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 10 Jun 2018 19:10:54 +0000 (21:10 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 10 Jun 2018 19:10:54 +0000 (21:10 +0200)
* configure (VERSION): Bump to 0.15.

configure

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