Skip to content
This repository was archived by the owner on Aug 27, 2025. It is now read-only.

Conversation

@vaivaswatha
Copy link
Contributor

Fixes #1001

@vaivaswatha vaivaswatha merged commit 49a05d3 into master Jun 14, 2021
@vaivaswatha vaivaswatha deleted the 1001_caseinsensitive_addr_qnames branch June 14, 2021 13:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Byte strings used for fully qualified ADT names should be lower-cased

3 participants