mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
90d4d22ba6
When matching a highlight to a bookmark *really* fails. (Noticed in the log from #8175)