Merge pull request #51 from jsquyres/pr/moar-ompi-packagers

ompi lists: add nav link for ompi-packagers archives
open-mpi · Mar 21, 2018 · 4745ab6 · 4745ab6
2 parents 28d1f9d + 5047af4
commit 4745ab6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/community/lists/ompi.inc b/community/lists/ompi.inc
@@ -7,3 +7,5 @@ $this_nav[] = new Nav("OMPI users archives",
                       "https://www.mail-archive.com/[email protected]/");
 $this_nav[] = new Nav("OMPI devel archives",
                       "https://www.mail-archive.com/[email protected]/");
+$this_nav[] = new Nav("OMPI packagers archives",
+                      "https://www.mail-archive.com/[email protected]/");