Skip to content

Conversation

@whereswaldon
Copy link
Member

Fixes #212

@benoitkugler
Copy link
Contributor

Thank you for the fix

@benoitkugler benoitkugler merged commit 79b8e57 into main Dec 17, 2025
14 checks passed
@benoitkugler benoitkugler deleted the 212-android-imports branch December 17, 2025 22:57
@andydotxyz
Copy link
Contributor

Thanks for this.
Should we tag another release very soon in case anyone else upgrades all their dependencies?

@whereswaldon
Copy link
Member Author

I've tagged v0.3.2. It only changes the CI config and this file, so there are no API changes.

benoitkugler pushed a commit that referenced this pull request Dec 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

typesetting@v0.3.1 android cross compilation error

4 participants