Skip to content
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

Release/0.23.1 #729

Merged
merged 2 commits into from
Apr 24, 2023
Merged

Release/0.23.1 #729

merged 2 commits into from
Apr 24, 2023

Conversation

alexanderleegs
Copy link
Contributor

Duplicate #728 to develop

@mergify
Copy link

mergify bot commented Apr 24, 2023

⚠️ The sha of the head commit of this PR conflicts with #728. Mergify cannot evaluate rules on this PR. ⚠️

@alexanderleegs alexanderleegs merged commit ec3d849 into develop Apr 24, 2023
@mergify mergify bot deleted the release/0.23.1 branch April 24, 2023 08:23
@kishore03109 kishore03109 mentioned this pull request Apr 27, 2023
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kishore03109 kishore03109 kishore03109 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alexanderleegs @kishore03109