diff --git a/VERSION b/VERSION new file mode 100644 index 0000000000..7329e21c3b --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +2.20.0