readthedocs.org

Search: fix when searching an empty query

#10312

Merged