diff --git a/VERSION b/VERSION index bddb837ffd9..83b282dd53c 100644 --- a/VERSION +++ b/VERSION @@ -24,7 +24,7 @@ release=0 # requirement is that it must be entirely printable ASCII characters # and have no white space. -greek=rc3 +greek=rc4 # If repo_rev is empty, then the repository version number will be # obtained during "make dist" via the "git describe --tags --always"