Merge pull request #466 from janjust/v5.0.0rc14.update

v5.0.xrc14 update
open-mpi · Oct 17, 2023 · d972831 · d972831
2 parents bb5a690 + ec167b1
commit d972831
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
@@ -41,6 +41,7 @@
 milestone("v5.0.0rc11", "2023-04-06", $data, $vpos);
 milestone("v5.0.0rc12", "2023-05-19", $data, $vpos);
 milestone("v5.0.0rc13", "2023-09-29", $data, $vpos);
+milestone("v5.0.0rc14", "2023-10-17", $data, $vpos);
 
 // Party on
 $graph->CreateSimple($data);

diff --git a/software/ompi/v5.0/version.inc b/software/ompi/v5.0/version.inc
@@ -15,7 +15,7 @@ $releases = array();
 /* 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.0rc13", "5.0.0rc12", "5.0.0rc11", "5.0.0rc10", "5.0.0rc9", "5.0.0rc8", "5.0.0rc7", "5.0.0rc6", "5.0.0rc5", "5.0.0rc4", "5.0.0rc3", "5.0.0rc2", "5.0.0rc1");
+$prereleases = array("5.0.0rc14", "5.0.0rc13", "5.0.0rc12", "5.0.0rc11", "5.0.0rc10", "5.0.0rc9", "5.0.0rc8", "5.0.0rc7", "5.0.0rc6", "5.0.0rc5", "5.0.0rc4", "5.0.0rc3", "5.0.0rc2", "5.0.0rc1");
 
 /* set to true if we should add a cygwin note */
 $cygwin_note = 0;