Closed NiLuJe closed 9 months ago
Oops, did I forget to merge that. I think I alluded to this PR in my bump a few days ago.
On Wed, Nov 22, 2023, 18:59 NiLuJe @.***> wrote:
Merged #448 https://github.com/koreader/android-luajit-launcher/pull/448 into master.
— Reply to this email directly, view it on GitHub https://github.com/koreader/android-luajit-launcher/pull/448#event-11039627823, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABRQBJNGPPE7PXYVH7AI53YFY4RRAVCNFSM6AAAAAA7JQVEAKVHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJRGAZTSNRSG44DEMY . You are receiving this because you are subscribed to this thread.Message ID: <koreader/android-luajit-launcher/pull/448/issue_event/11039627823@ github.com>
I'm going to another LuaJIT bump soonish anyway, so I'll pull in everything again, no worries ;).
re: https://github.com/koreader/koreader-base/pull/1695
This change is