Skip to content

Conversation

@yaselc
Copy link

@yaselc yaselc commented Feb 26, 2021

jtrh and others added 4 commits February 16, 2021 21:19
@yaselc yaselc added the kind: release Release label Feb 26, 2021
@yaselc yaselc requested review from glarrain and jtrh February 26, 2021 17:22
@yaselc yaselc self-assigned this Feb 26, 2021
@glarrain glarrain marked this pull request as ready for review February 26, 2021 17:28
Copy link
Contributor

@jtrh jtrh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Remember to push the v0.12.3 Git tag before merging this PR:

git push --tags

@yaselc yaselc merged commit 0d54e13 into master Feb 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants