diff --git a/version.properties b/version.properties
index 78f179d..76cb5aa 100644
--- a/version.properties
+++ b/version.properties
@@ -24,8 +24,8 @@
 # because they are used in Jenkins, whose plug-in doesn't support
 
 major=1
-minor=12
-patch=0
+minor=13
+patch=5
 
 base_version=${major}.${minor}.${patch}