diff --git a/VERSION b/VERSION
index d9ee6574..7ec44ce6 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.13.3
\ No newline at end of file
+1.13.3-develop1217
\ No newline at end of file