Skip to content

Conversation

@zml2008
Copy link
Member

@zml2008 zml2008 commented Aug 24, 2024

Try to resolve the build failures we get in #58 but without having to work too hard.

@zml2008 zml2008 added this to the 1.4.0 milestone Aug 24, 2024
@zml2008 zml2008 self-assigned this Aug 24, 2024
@zml2008 zml2008 added this pull request to the merge queue Aug 24, 2024
Merged via the queue into main with commit 065cf9a Aug 24, 2024
@zml2008 zml2008 deleted the chore/fewer-deps branch August 24, 2024 23:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants