Skip to content

Conversation

Jakio815
Copy link
Contributor

@Jakio815 Jakio815 commented Jul 8, 2024

No description provided.

@Jakio815
Copy link
Contributor Author

Jakio815 commented Jul 8, 2024

@petervdonovan Please review. Just added to latest version, and v0.8.0.

@lhstrh lhstrh merged commit bb7de27 into lf-lang:main Jul 9, 2024
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.

3 participants