Skip to content

Comments

Draft release for 0.7.0#120

Merged
wu-sheng merged 2 commits intomasterfrom
rel/0.7.0
Oct 19, 2023
Merged

Draft release for 0.7.0#120
wu-sheng merged 2 commits intomasterfrom
rel/0.7.0

Conversation

@kezhenxu94
Copy link
Member

  • 0.7.0
  • Draft release for 0.7.0

@kezhenxu94 kezhenxu94 changed the title rel/0.7.0 Draft release for 0.7.0 Oct 19, 2023
@kezhenxu94 kezhenxu94 requested a review from wu-sheng October 19, 2023 09:30
@wu-sheng wu-sheng added this to the 0.7.0 milestone Oct 19, 2023
@wu-sheng wu-sheng merged commit 4f9a91d into master Oct 19, 2023
@wu-sheng wu-sheng deleted the rel/0.7.0 branch October 19, 2023 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants