Merge pull request #483 from wenduwan/update_5.0.01

open-mpi · Dec 21, 2023 · 7143260 · 7143260
2 parents 7df9182 + c2927e5
commit 7143260
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/software/ompi/v5.0/timeline-graph.php b/software/ompi/v5.0/timeline-graph.php
@@ -29,7 +29,7 @@
 series("v5.0 series", $series_start->format("Y-m-d"), $beyond_end_date, $data, $vpos, $graph);
 milestone("branch from main", "2021-03-11", $data, $vpos);
 milestone("v5.0.0", "2023-10-26", $data, $vpos);
-milestone("v5.0.1rc1", "2023-12-12", $data, $vpos);
+milestone("v5.0.1", "2023-12-20", $data, $vpos);
 
 // Party on
 $graph->CreateSimple($data);

diff --git a/software/ompi/v5.0/version.inc b/software/ompi/v5.0/version.inc
@@ -11,12 +11,12 @@ $download_prefix="https://download.open-mpi.org/release/open-mpi/v" . $release_s
 $s3_prefix = "release/open-mpi/v" . $release_series . "/";
 
 /* releases must be ordered newest to oldest */
-$releases = array("5.0.0");
+$releases = array("5.0.1", "5.0.0");
 
 /* prereleases must be ordered newest to oldest.  All prereleases
    will be shown, so make an empty array when the official release
    is added to releases above */
-$prereleases = array("5.0.1rc1");
+$prereleases = array();
 
 /* set to true if we should add a cygwin note */
 $cygwin_note = 0;