New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Fix union issue #42

Merged

gryumov merged 3 commits into master from fix_union_issue

May 2, 2024

Contributor

artememelin commented May 2, 2024

Pull request checklist

Did you bump the project version?
Did you add a description to the Pull Request?
Did you add new tests?
Did you add reviewers?

artememelin added 3 commits

May 2, 2024 18:30


          Fix problem with Union

5fda65c


          Bump version

97896e1


          Fix indent

017a8bf

artememelin requested a review from gryumov as a code owner

May 2, 2024 15:32

gryumov approved these changes

View reviewed changes

gryumov merged commit 85e37b4 into master

5 checks passed

gryumov deleted the fix_union_issue branch

May 2, 2024 16:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet