diff --git a/VERSION b/VERSION new file mode 100644 index 0000000000000..eb49d7c7fdcbb --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +0.7