Release Open MPI 4.1.7

Signed-off-by: Brian Barrett <[email protected]>

index.php

@@ -86,12 +86,12 @@ function pr($name, $url, $comma) {
 <td valign=top>
 
 <?php
+news("Open MPI v4.1.7 released",
+     "Bug fix release",
+     "https://www.mail-archive.com/[email protected]/msg00171.html");
 news("Open MPI v5.0.5 released",
      "Major new release",
      "https://www.mail-archive.com/[email protected]/msg00170.html");
-news("Open MPI v4.1.6 released",
-     "Bug fix release",
-     "https://www.mail-archive.com/[email protected]/msg00158.html");
 news("hwloc 2.11.2",
      "Stable release",
      "https://www.mail-archive.com/[email protected]/msg00169.html");

software/ompi/v4.1/timeline-graph.php

@@ -51,7 +51,8 @@
 #milestone("v4.1.6rc2", "2023-08-28", $data, $vpos);
 #milestone("v4.1.6rc3", "2023-09-25", $data, $vpos);
 milestone("v4.1.6", "2023-09-30", $data, $vpos);
-milestone("v4.1.7rc1", "2024-10-22", $data, $vpos);
+#milestone("v4.1.7rc1", "2024-10-22", $data, $vpos);
+milestone("v4.1.7", "2024-10-31", $data, $vpos);
 
 // Party on
 $graph->CreateSimple($data);

software/ompi/v4.1/version.inc

@@ -11,11 +11,11 @@ $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("4.1.6", "4.1.5", "4.1.4", "4.1.3", "4.1.2", "4.1.1", "4.1.0");
+$releases = array("4.1.7", "4.1.6", "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.7rc1");
+$prereleases = array();
 
 /* set to true if we should add a cygwin note */
 $cygwin_note = 0;