Skip to content

Fix search hints and exact substring highlights - #2934

Merged
Widthdom merged 2 commits into
mainfrom
fix-issue2813-2820
Jun 2, 2026
Merged

Fix search hints and exact substring highlights#2934
Widthdom merged 2 commits into
mainfrom
fix-issue2813-2820

Commits

Commits on Jun 2, 2026