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. Signed-off-by: Jeff Squyres <jeff@squyres.com> (cherry picked from commit db7ff49)
- Loading branch information