Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release v0.13.1 #222

Merged
merged 2 commits into from
Mar 13, 2020
Merged

Release v0.13.1 #222

merged 2 commits into from
Mar 13, 2020

Conversation

erikgrinaker
Copy link
Contributor

Not sure how to make the actual release. No rush, this can totally wait until Monday.

@erikgrinaker
Copy link
Contributor Author

@marbar3778 Oh wait, did you want to do a release without the tm-db upgrade first?

@tac0turtle
Copy link
Member

no, it is fine to do a release with it.

Co-Authored-By: Marko <marbar3778@yahoo.com>
@erikgrinaker erikgrinaker added the S:automerge Automatic merge and/or update Pull requests label Mar 13, 2020
@mergify mergify bot merged commit f5a5d88 into master Mar 13, 2020
@mergify mergify bot deleted the erik/release-0.13.1 branch March 13, 2020 20:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S:automerge Automatic merge and/or update Pull requests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants