Skip to content

Conversation

@nick-zh
Copy link
Member

@nick-zh nick-zh commented Dec 1, 2021

No description provided.

@nick-zh nick-zh linked an issue Dec 1, 2021 that may be closed by this pull request
@nick-zh nick-zh marked this pull request as ready for review December 2, 2021 07:32
@nick-zh
Copy link
Member Author

nick-zh commented Dec 2, 2021

@bajdzun can you check if this produces the outcome that you would suspect? ✌️

@nick-zh nick-zh merged commit e724197 into main Dec 3, 2021
@nick-zh nick-zh deleted the chore/fix-namespacing branch December 3, 2021 09:24
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.

Handling namespaces of embedded types correctly

2 participants