bump the SO docker
[so.git] / version.properties
index 6456604..d1d81a0 100644 (file)
@@ -4,7 +4,7 @@
 
 major=1
 minor=3
-patch=4
+patch=5
 
 base_version=${major}.${minor}.${patch}