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.

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

report both expression and error message (#46) #47

Merged
merged 2 commits into from
Nov 25, 2024

Conversation

dpinol
Copy link
Contributor

@dpinol dpinol commented Nov 25, 2024

This PR solves #46

@jw3126
Copy link
Owner

jw3126 commented Nov 25, 2024

Looks good, I don't think we need a flag. Can you bump the minor version?

@dpinol
Copy link
Contributor Author

dpinol commented Nov 25, 2024

Done

@jw3126 jw3126 merged commit 062d373 into jw3126:master Nov 25, 2024
9 checks passed
@dpinol
Copy link
Contributor Author

dpinol commented Nov 26, 2024

thanks for the quick merge & release! 🙏

@jw3126
Copy link
Owner

jw3126 commented Nov 26, 2024

thanks for the quick PR

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.

2 participants