Merge pull request open-mpi#6994 from gpaulsen/gpaulsen_v4.0.2rc3

Updating VERSION v4.0.2rc3

Author: gpaulsen

VERSION

@@ -30,7 +30,7 @@ release=2
 # requirement is that it must be entirely printable ASCII characters
 # and have no white space.
 
-greek=rc2
+greek=rc3
 
 # If repo_rev is empty, then the repository version number will be
 # obtained during "make dist" via the "git describe --tags --always"