Skip to content
This repository was archived by the owner on Jan 23, 2023. It is now read-only.

Conversation

Anipik
Copy link

@Anipik Anipik commented Oct 12, 2020

adding no merge until we release 3.1.9

@Anipik Anipik added the * NO MERGE * The PR is not ready for merge yet (see discussion for detailed reasons) label Oct 12, 2020
@Anipik Anipik requested a review from ericstj October 12, 2020 21:03
@Anipik Anipik merged commit 47c5d7b into dotnet:release/3.1 Oct 13, 2020
@Anipik Anipik deleted the branding branch October 28, 2020 20:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
* NO MERGE * The PR is not ready for merge yet (see discussion for detailed reasons)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants