Merge pull request #538 from janjust/master

v5.0.8rc3

Author: janjust

software/ompi/v5.0/timeline-graph.php

@@ -38,6 +38,7 @@
 milestone("v5.0.7", "2025-02-14", $data, $vpos);
 milestone("v5.0.8rc1", "2025-05-09", $data, $vpos);
 milestone("v5.0.8rc2", "2025-05-12", $data, $vpos);
+milestone("v5.0.8rc3", "2025-05-24", $data, $vpos);
 
 // Party on
 $graph->CreateSimple($data);

software/ompi/v5.0/version.inc

@@ -16,7 +16,7 @@ $releases = array("5.0.7", "5.0.6", "5.0.5", "5.0.4", "5.0.3", "5.0.2", "5.0.1",
 /* 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.8rc2", "5.0.8rc1");
+$prereleases = array("5.0.8rc3", "5.0.8rc2", "5.0.8rc1");
 
 /* set to true if we should add a cygwin note */
 $cygwin_note = 0;