Skip to content

Update release/3.1 branding to 3.1.10 #3638

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
Merged
merged 2 commits into from
Oct 13, 2020
Merged

Update release/3.1 branding to 3.1.10 #3638

merged 2 commits into from
Oct 13, 2020

Conversation

@ryalanms
Copy link
Member

@ryalanms ryalanms commented Oct 13, 2020

Update release/3.1 branding to 3.1.10

@ghost ghost added the PR metadata: Label to tag PRs, to facilitate with triage label Oct 13, 2020
@ghost ghost requested review from SamBent and fabiant3 October 13, 2020 00:28
@ryalanms
Copy link
Member Author

ryalanms commented Oct 13, 2020

Thanks, @mmitche for the fix. Downgrading the build machine pool fixed the break.

@ryalanms ryalanms merged commit 002127a into release/3.1 Oct 13, 2020
@sharwell sharwell mentioned this pull request Dec 23, 2020
Merged
@mmitche mmitche deleted the 3.1_branding_to_3.1.10 branch December 30, 2020 17:04
@ghost ghost locked as resolved and limited conversation to collaborators Apr 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@fabiant3 fabiant3 Awaiting requested review from fabiant3

@SamBent SamBent Awaiting requested review from SamBent

Assignees

No one assigned

Labels

PR metadata: Label to tag PRs, to facilitate with triage

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ryalanms