Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
RTD is rolling out some changes. Per https://about.readthedocs.com/blog/2024/07/addons-by-default/, these are the changes we need to make. Port of open-mpi/ompi#12687 Signed-off-by: Ralph Castain <rhc@pmix.org>
- Loading branch information