Skip to content

Conversation

dellis1972
Copy link
Contributor

No description provided.

@dellis1972 dellis1972 added the do-not-merge PR should not be merged. label Aug 25, 2021
@jonpryor
Copy link
Contributor

/azp run

@azure-pipelines
Copy link

Pull request contains merge conflicts.

@jonpryor jonpryor merged commit c3a21d9 into dotnet:main Sep 16, 2021
@dellis1972 dellis1972 deleted the bumpji branch November 30, 2022 16:08
@github-actions github-actions bot locked and limited conversation to collaborators Jan 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
do-not-merge PR should not be merged.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants