mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Silly oversight in https://github.com/koreader/koreader/pull/4644. Also remove unused util because apparently CircleCI didn't run on the other PR when it should've.