Skip to content

Comments

Draft release 0.5.0#88

Merged
wu-sheng merged 2 commits intomasterfrom
rel/0.5.0
Jul 6, 2022
Merged

Draft release 0.5.0#88
wu-sheng merged 2 commits intomasterfrom
rel/0.5.0

Conversation

@kezhenxu94
Copy link
Member

No description provided.

@kezhenxu94 kezhenxu94 added documentation Improvements or additions to documentation chore labels Jul 6, 2022
@kezhenxu94 kezhenxu94 added this to the 0.5.0 milestone Jul 6, 2022
@kezhenxu94 kezhenxu94 requested review from ascrutae and wu-sheng July 6, 2022 07:35
@wu-sheng wu-sheng merged commit 6c0e9ba into master Jul 6, 2022
@wu-sheng wu-sheng deleted the rel/0.5.0 branch July 6, 2022 07:58
@tkNobug
Copy link

tkNobug commented Jul 6, 2022 via email

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

Labels

chore documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants