push version (fix for #13418)

diff --git a/org.glite.lb.server/project/version.properties b/org.glite.lb.server/project/version.properties
index 1455d3d..c328292 100644 (file)
--- a/org.glite.lb.server/project/version.properties
+++ b/org.glite.lb.server/project/version.properties
@@ -1,4 +1,4 @@
 #Fri Sep 02 14:18:35 CEST 2005
-module.version=1.3.0
+module.version=1.3.1
 module.build=2
 module.age=1