Skip to content
This repository has been archived by the owner on Nov 30, 2023. It is now read-only.

Release v7.2.0 #1710

Merged
merged 1 commit into from
Mar 7, 2023
Merged

Release v7.2.0 #1710

merged 1 commit into from
Mar 7, 2023

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Mar 7, 2023

No description provided.

@github-actions github-actions bot requested a review from a team as a code owner March 7, 2023 09:11
@whites11 whites11 enabled auto-merge (squash) March 7, 2023 09:11
@whites11 whites11 merged commit d036197 into master Mar 7, 2023
@whites11 whites11 deleted the master#release#minor branch March 7, 2023 09:13
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.

1 participant