💾 Archived View for hacktivis.me › tickets › badwolf › 2020-12-07T15:58:04%20Make%20search%20case-in… captured on 2022-01-08 at 14:12:45. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-03)
-=-=-=-=-=-=-
Status: confirmed
Assigned-to: lanodan
Milestone: 1.1.0
Currently case is sensitive in web page search, unsure if it's a WebKitGTK bug or not, IIRC it is one.