summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--version.properties2
1 files changed, 1 insertions, 1 deletions
diff --git a/version.properties b/version.properties
index 58e379c0e6..71196808d5 100644
--- a/version.properties
+++ b/version.properties
@@ -4,7 +4,7 @@
major=1
minor=8
-patch=2
+patch=3
base_version=${major}.${minor}.${patch}