Skip to content

Update version for the next release (v0.8.0)#192

Merged
bors[bot] merged 1 commit intomainfrom
release-v0.8.0
Jul 12, 2022
Merged

Update version for the next release (v0.8.0)#192
bors[bot] merged 1 commit intomainfrom
release-v0.8.0

Commits

Commits on Jul 11, 2022