Skip to content

Conversation

@jirfag
Copy link
Contributor

@jirfag jirfag commented Nov 23, 2018

Thank you for the pull request!

Please make sure you didn't directly change README.md: it should be changed only by changing README.tmpl.md and running make readme.

@jirfag jirfag merged commit dba3907 into master Nov 23, 2018
@jirfag jirfag deleted the feature/improve-typecheck-errors branch November 23, 2018 15:40
@ldez ldez added this to the v1.12 milestone Mar 6, 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