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. This is a manual backport of git commit db7ff49. Signed-off-by: Jeff Squyres <[email protected]>
- Loading branch information