mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Otherwise it'll choke on the comments in that file. See <https://github.com/koreader/koreader/pull/6195#issuecomment-638801075>. Accidentally introduced in <https://github.com/koreader/koreader-base/pull/1105>.