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

Merge pull request #7380 from gpaulsen/topic/v4.0.x/VERSION_v4.0.3rc4

Browse Source 
Reving to VERSION v4.0.3rc4
This commit is contained in:
Geoff Paulsen 2020-02-11 18:28:45 -06:00 committed by GitHub
commit 3894e5760c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -30,7 +30,7 @@ release=3
# 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"