Skip to content

Conversation

moomoohk
Copy link
Collaborator

Bug reported by @jferreira-ca
See also #167

@moomoohk
Copy link
Collaborator Author

@jferreira-ca Please confirm this branch fixes your issue so that I may merge

@moomoohk moomoohk self-assigned this Nov 29, 2022
@moomoohk moomoohk added the bug label Nov 29, 2022
@jferreira-ca
Copy link

It worked as expected. Thanks!

@moomoohk moomoohk merged commit ea64635 into master Nov 30, 2022
@moomoohk
Copy link
Collaborator Author

@jferreira-ca My pleasure. Good luck!

@moomoohk moomoohk deleted the bugfix/int-ambiguity branch December 1, 2022 15:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants