Skip to content
This repository has been archived by the owner on Jun 7, 2022. It is now read-only.

Fix minor issues #23

Merged
merged 2 commits into from Feb 2, 2021
Merged

Fix minor issues #23

merged 2 commits into from Feb 2, 2021

Conversation

Kingwl
Copy link
Member

@Kingwl Kingwl commented Feb 2, 2021

No description provided.

@Kingwl Kingwl merged commit 384f9d7 into main Feb 2, 2021
@Kingwl Kingwl deleted the spec_minor_fix branch February 2, 2021 15:35
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.

None yet

1 participant