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

Merge use case #24 #37

Merged
merged 1 commit into from
Aug 30, 2022
Merged

Merge use case #24 #37

merged 1 commit into from
Aug 30, 2022

Conversation

QingAn
Copy link
Contributor

@QingAn QingAn commented Aug 29, 2022

Merge use case #24

@QingAn
Merge use case #24
4a2eba7 
Merge use case #24
@QingAn
Copy link
Contributor Author

QingAn commented Aug 29, 2022

@muodov

@QingAn
Copy link
Contributor Author

QingAn commented Aug 30, 2022

Since the contents are same. I will move ahead to merge.

@QingAn QingAn merged commit 7863846 into main Aug 30, 2022
@QingAn QingAn deleted the QingAn-patch-7 branch August 30, 2022 07:44
@QingAn QingAn restored the QingAn-patch-7 branch August 30, 2022 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@QingAn