Skip to content

Conversation

oscarbenjamin
Copy link
Collaborator

@oscarbenjamin oscarbenjamin commented Dec 14, 2022

Related to #35

@oscarbenjamin
Copy link
Collaborator Author

I'll merge this one now as it's simple enough.

@oscarbenjamin oscarbenjamin merged commit 6e55d0a into flintlib:master Apr 21, 2023
@oscarbenjamin oscarbenjamin deleted the pr_language_level branch April 21, 2023 12:56
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.

1 participant