Release 0.13. v0.13
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 27 Apr 2018 21:57:42 +0000 (23:57 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 27 Apr 2018 21:57:42 +0000 (23:57 +0200)
* configure (VERSION): Bump to 0.13.

configure

index 832722df394b9aef26a34afdd485f045f91d2eac..dc802c18bdfb401979a4f9fc54a8611429f082e1 100755 (executable)
--- 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.12")
+(define VERSION "0.13")
 (define PREFIX "/usr/local")
 (define GUILE_EFFECTIVE_VERSION (effective-version))
 (define GUILE (or (getenv "guile") "guile"))