Skip to content
This repository was archived by the owner on Aug 12, 2025. It is now read-only.

Conversation

@deitch
Copy link
Contributor

@deitch deitch commented May 5, 2020

No description provided.

@gianarb
Copy link
Contributor

gianarb commented May 5, 2020

g2g! feel free to merge

@deitch
Copy link
Contributor Author

deitch commented May 5, 2020

Needs a proper review. I will add you to the repo for now.

@gianarb gianarb self-requested a review May 5, 2020 12:16
@deitch deitch merged commit 044c112 into v1alpha3 May 5, 2020
@deitch deitch deleted the bump-versions branch May 5, 2020 12:22
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.

3 participants