Modified to reflect version 7.1.3-1

diff --git a/org.glite.lb.common/project/version.properties b/org.glite.lb.common/project/version.properties
index fa2fcc0..d855780 100644 (file)
--- a/org.glite.lb.common/project/version.properties
+++ b/org.glite.lb.common/project/version.properties
@@ -1,3 +1,3 @@
 # $Header$
-module.version=7.1.2
+module.version=7.1.3
 module.age=1