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

v0.37.13-RC1 #6305

Merged
merged 6 commits into from
Jun 2, 2020
Merged

v0.37.13-RC1 #6305

merged 6 commits into from
Jun 2, 2020

Conversation

tac0turtle
Copy link
Member

Description

release candidate for 0.37.13

@tac0turtle tac0turtle marked this pull request as ready for review May 29, 2020 08:19
@tac0turtle tac0turtle self-assigned this May 29, 2020
@tac0turtle tac0turtle changed the title bump tendermint version to 0.32.12 rc: v0.37.13 May 29, 2020
@codecov
Copy link

codecov bot commented May 29, 2020

Codecov Report

Merging #6305 into rc1/v0.37.13 will decrease coverage by 0.01%.
The diff coverage is n/a.

@@               Coverage Diff                @@
##           rc1/v0.37.13    #6305      +/-   ##
================================================
- Coverage         51.36%   51.35%   -0.02%     
================================================
  Files               290      290              
  Lines             18901    18901              
================================================
- Hits               9709     9707       -2     
- Misses             8499     8501       +2     
  Partials            693      693              

@alexanderbez alexanderbez changed the title rc: v0.37.13 v0.37.13-RC1 May 29, 2020
CHANGELOG.md Outdated Show resolved Hide resolved
CHANGELOG.md Outdated Show resolved Hide resolved
@alessio
Copy link
Contributor

alessio commented Jun 2, 2020

We may need a new release for 0.38 for this BTW

Copy link
Contributor

@alexanderbez alexanderbez left a comment

Choose a reason for hiding this comment

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

ACK :)

(whoops meant to hit approve button)

@zmanian
Copy link
Member

zmanian commented Jun 2, 2020

@jackzampolin is doing to do a gaia release once this is merged.

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.

4 participants