From 3c45b04b409311d7334843de7d1997359fb01bcb Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Fri, 25 Oct 2002 13:05:53 +0000
Subject: [PATCH] 0.7 released.

---
 src/configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/configure b/src/configure
index 6d8469aab..4d0009152 100755
--- a/src/configure
+++ b/src/configure
@@ -1224,7 +1224,7 @@ echo "***"
 exit 2;
 fi
 
-ECL_VERSION=0.6
+ECL_VERSION=0.7
 
 
 ac_aux_dir=