Skip to content

Make search suggestions nicer#142

Merged
mreichhoff merged 1 commit into
mainfrom
nicer-suggestions
Jun 14, 2026
Merged

Make search suggestions nicer#142
mreichhoff merged 1 commit into
mainfrom
nicer-suggestions

Commits

Commits on Jun 14, 2026