push patch version

diff --git a/org.glite.lb.server/project/version.properties b/org.glite.lb.server/project/version.properties
index c328292..12f7b66 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.1
+module.version=1.3.2
 module.build=2
 module.age=1