Skip to content

Do not push changes to browser history when searching - #189

Merged
marcos-diaz merged 1 commit into
mainfrom
mixed-input-db
Jun 16, 2026
Merged

Do not push changes to browser history when searching#189
marcos-diaz merged 1 commit into
mainfrom
mixed-input-db

Commits

Commits on Jun 16, 2026