-
Notifications
You must be signed in to change notification settings - Fork 80
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
v0.12 #187
v0.12 #187
Conversation
@thomasst any PRs you'd like to merge before we release 0.12? I see you have 3 PRs recently opened. |
There is another fix I wanted to do today or tomorrow. I'll see if I can squeeze it in today. |
No worries, I can wait. |
FYI, this one is still pending a second review: #188 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should be ready to release now. Can you amend the changelog?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good. In the future I would probably just refer to the shortened commit hash in each change log entry to avoid linking to GitHub-specific stuff. No big deal though.
Going to release 0.12 before merging #185 and #186.