Merge pull request #481 from janjust/master

v5.0.1rc1
open-mpi · Dec 12, 2023 · 3dd7d5d · 3dd7d5d
2 parents 66bd8d5 + 9f94fd6
commit 3dd7d5d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/software/ompi/v5.0/timeline-graph.php b/software/ompi/v5.0/timeline-graph.php
@@ -29,6 +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);
 
 // Party on
 $graph->CreateSimple($data);

diff --git a/software/ompi/v5.0/version.inc b/software/ompi/v5.0/version.inc
@@ -16,7 +16,7 @@ $releases = array("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();
+$prereleases = array("5.0.0rc1");
 
 /* set to true if we should add a cygwin note */
 $cygwin_note = 0;