From 3e51dcf9aca2c78cec1cb2478f1efde1c2311c5b Mon Sep 17 00:00:00 2001 From: Brian Barrett Date: Wed, 21 Oct 2020 14:52:27 +0000 Subject: [PATCH] dist: Bump version after releasing 4.1.0rc2 Also fix a probably harmless but definitely wrong missing comment character in the copyright header. Signed-off-by: Brian Barrett --- VERSION | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/VERSION b/VERSION index cddcaec766..4dea87de4e 100644 --- a/VERSION +++ b/VERSION @@ -11,7 +11,7 @@ # Copyright (c) 2018 Research Organization for Information Science # and Technology (RIST). All rights reserved. # Copyright (c) 2020 Amazon.com, Inc. or its affiliates. All Rights - reserved. +# reserved. # This is the VERSION file for Open MPI, describing the precise # version of Open MPI in this distribution. The various components of @@ -32,7 +32,7 @@ release=0 # 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"