Ship Open MPI 4.1.6rc3

Signed-off-by: Brian Barrett <[email protected]>
open-mpi · Sep 25, 2023 · 29570f9 · 29570f9
1 parent 0be6db9
commit 29570f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/software/ompi/v4.1/timeline-graph.php b/software/ompi/v4.1/timeline-graph.php
@@ -50,6 +50,7 @@
 
 milestone("v4.1.6rc1", "2023-07-24", $data, $vpos);
 milestone("v4.1.6rc2", "2023-08-28", $data, $vpos);
+milestone("v4.1.6rc3", "2023-09-25", $data, $vpos);
 
 // Party on
 $graph->CreateSimple($data);

diff --git a/software/ompi/v4.1/version.inc b/software/ompi/v4.1/version.inc
@@ -15,7 +15,7 @@ $releases = array("4.1.5", "4.1.4", "4.1.3", "4.1.2", "4.1.1", "4.1.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("4.1.6rc2", "4.1.6rc1");
+$prereleases = array("4.1.6rc3");
 
 /* set to true if we should add a cygwin note */
 $cygwin_note = 0;