Skip to content
New issue

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

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

Already on GitHub? # to your account

Improve error message of MissingExtension rejections #72

Merged
merged 2 commits into from
Aug 1, 2021

Conversation

davidpdrsn
Copy link
Member

Now includes the name of missing type.

@davidpdrsn davidpdrsn added the C-enhancement Category: A PR with an enhancement label Aug 1, 2021
Now includes the name of missing type.
@davidpdrsn davidpdrsn merged commit 2cf28c6 into main Aug 1, 2021
@davidpdrsn davidpdrsn deleted the improve-error-msg branch August 1, 2021 13:50
@davidpdrsn davidpdrsn mentioned this pull request Aug 1, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
C-enhancement Category: A PR with an enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant