From 0131217ede5613c007d2326496f923bc631d467d Mon Sep 17 00:00:00 2001 From: Tomislav Janjusic Date: Tue, 17 Oct 2023 20:03:42 -0500 Subject: [PATCH] dummy PR, DO NOT MERGE Signed-off-by: Tomislav Janjusic --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index fe78207ad47..cc613098ffd 100644 --- a/README.md +++ b/README.md @@ -29,3 +29,4 @@ HTML documentation and man pages by default; it must be built. Instructions for how to build the Open MPI documentation can be found here: https://docs.open-mpi.org/en/main/developers/prerequisites.html#sphinx. +