Skip to content

0.20.0 release update#179

Merged
jon-wei merged 1 commit intomasterfrom
20_release
Oct 17, 2020
Merged

0.20.0 release update#179
jon-wei merged 1 commit intomasterfrom
20_release

Conversation

@jon-wei
Copy link
Contributor

@jon-wei jon-wei commented Oct 17, 2020

Update for 0.20.0 release

@jon-wei jon-wei merged commit 0de3a23 into master Oct 17, 2020
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.

1 participant