Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Some fixes #604

Merged
merged 2 commits into from
May 24, 2023
Merged

Some fixes #604

merged 2 commits into from
May 24, 2023

Conversation

nilslindemann
Copy link
Contributor

No description provided.

@Sija Sija added the documentation Needs to be documented label May 24, 2023
@Sija Sija added this to the 0.19.0 milestone May 24, 2023
@gdotdesign gdotdesign merged commit b4685a5 into mint-lang:master May 24, 2023
@gdotdesign
Copy link
Member

Thank you 🙏

@nilslindemann nilslindemann deleted the some-fixes branch May 24, 2023 19:04
@nilslindemann
Copy link
Contributor Author

Thx to you two too.

@Sija Sija added the bug Something isn't working label May 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Sija Sija Sija approved these changes

Assignees
No one assigned
Labels
bug Something isn't working documentation Needs to be documented
Milestone
0.19.0
Development

Successfully merging this pull request may close these issues.
3 participants
@nilslindemann @gdotdesign @Sija