diff --git a/etc/version b/etc/version
index 01661f4493..a3f2653661 100644
--- a/etc/version
+++ b/etc/version
@@ -1 +1 @@
-0.71
\ No newline at end of file
+0.71.2
\ No newline at end of file