Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Jul 18, 2024

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.

This is a manual backport of git commit db7ff49 from main PR #12687. The other commits on that PR are not relevant to the v4.1.x branch.

bot:notacherrypick

@github-actions github-actions bot added this to the v4.1.7 milestone Jul 18, 2024
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.

This is a manual backport of git commit db7ff49.

Signed-off-by: Jeff Squyres <[email protected]>
@jsquyres jsquyres force-pushed the pr/v4.1.x/rtd-updates branch from f44bd15 to 0a3b1e7 Compare July 18, 2024 16:06
@jsquyres jsquyres marked this pull request as ready for review July 18, 2024 16:07
@jsquyres jsquyres requested a review from wenduwan July 18, 2024 16:08
@jsquyres jsquyres merged commit 184c32a into open-mpi:v4.1.x Jul 18, 2024
@jsquyres jsquyres deleted the pr/v4.1.x/rtd-updates branch July 18, 2024 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants