Skip to content

17.1 branding#6903

Merged
benvillalobos merged 3 commits into
dotnet:mainfrom
benvillalobos:17.1-branding
Oct 4, 2021
Merged

17.1 branding#6903
benvillalobos merged 3 commits into
dotnet:mainfrom
benvillalobos:17.1-branding

Conversation

@benvillalobos

Copy link
Copy Markdown
Member

No description provided.

@benvillalobos benvillalobos added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Oct 4, 2021
@benvillalobos benvillalobos merged commit 67c9004 into dotnet:main Oct 4, 2021
@benvillalobos benvillalobos deleted the 17.1-branding branch October 4, 2021 18:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants