[python] Fix search in readthedocs
#3573
Merged
Codecov / codecov/patch
succeeded
Jan 16, 2025 in 1s
Coverage not affected when comparing 270b222...8c7ac07
View this Pull Request on Codecov
Coverage not affected when comparing 270b222...8c7ac07
Loading