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.

Sign up for GitHub

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

Jump to bottom

Update to v7-beta.31 #6804

Merged
merged 1 commit into from
Nov 13, 2017
Merged

Update to v7-beta.31 #6804

merged 1 commit into from
Nov 13, 2017

Conversation

hzoo
Copy link
Member

@hzoo hzoo commented Nov 12, 2017

No description provided.

@hzoo hzoo added the PR: Internal 🏠 A type of pull request used for our changelog categories label Nov 12, 2017
xtuc
xtuc approved these changes Nov 13, 2017
View reviewed changes
Copy link
Member

@xtuc xtuc left a comment

Choose a reason for hiding this comment

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

lgtm

We can switch the beta 32 also

@hzoo
Copy link
Member Author

hzoo commented Nov 13, 2017

32 is blocked by #6805 😄

@hzoo hzoo merged commit 394ad93 into master Nov 13, 2017
@hzoo hzoo deleted the beta.31 branch November 14, 2017 16:12
@lock lock bot added the outdated A closed issue/PR that is archived due to age. Recommended to make a new issue label Oct 5, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Oct 5, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@xtuc xtuc xtuc approved these changes

Assignees
No one assigned
Labels
outdated A closed issue/PR that is archived due to age. Recommended to make a new issue PR: Internal 🏠 A type of pull request used for our changelog categories
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@hzoo @xtuc