mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
As a side effect of <https://github.com/koreader/koreader/pull/4189> some menus have to manually trigger updates. I'm not overly enthused with this solution but I couldn't think of anything better right now. Fixes <https://github.com/koreader/koreader/issues/5224>.