Doc: sphinx-lint finds two other default roles.#98019
Merged
JulienPalard merged 1 commit intopython:mainfrom Oct 7, 2022
Merged
Doc: sphinx-lint finds two other default roles.#98019JulienPalard merged 1 commit intopython:mainfrom
JulienPalard merged 1 commit intopython:mainfrom
