[search] removed the dot after 'No results matching'#5904

Merged

freeplant merged 1 commit intomasterfrom rm-search-dots

Jan 31, 2024

+4-4

Commits on Jan 19, 2024

[search] removed the dot after 'No results matching'
llj
committed