ports/openmpi
ports/openmpi
1
1
Fork 0
Code Releases Activity

dist: Move version to 4.1.0rc1

Browse Source 
Signed-off-by: Brian Barrett <bbarrett@amazon.com>
This commit is contained in:
Brian Barrett 2020-07-06 19:35:15 +00:00
parent 80eebbee58
commit 55eab422b5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

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