Skip to content

Release 0.4.3#99

Merged
rib merged 1 commit into
mainfrom
release-0.4.3
Jul 30, 2023
Merged

Release 0.4.3#99
rib merged 1 commit into
mainfrom
release-0.4.3

Conversation

@rib
Copy link
Copy Markdown
Member

@rib rib commented Jul 30, 2023

Fixes a number of dead locks that can happen after returning from android_main and destroying the Activity.

@rib rib merged commit 1a8a92b into main Jul 30, 2023
@MarijnS95 MarijnS95 deleted the release-0.4.3 branch October 25, 2023 21:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant