Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Cf. <koreader#969 (comment)>. Otherwise the interface won't work on… platforms where it doesn't matter, but it's better to be correct. ;-)
- Loading branch information