mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
b6e5cd120f
Crash reported in #13895. Also crashed when changing highlight boundaries.