Skip to content

Conversation

@jpobst
Copy link
Contributor

@jpobst jpobst commented Oct 12, 2020

@jpobst jpobst marked this pull request as ready for review October 14, 2020 02:25
@jpobst jpobst requested a review from jonpryor as a code owner October 14, 2020 02:25
@jpobst
Copy link
Contributor Author

jpobst commented Oct 19, 2020

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@jonpryor jonpryor merged commit 03108f1 into master Oct 20, 2020
@jonpryor jonpryor deleted the bump-ji-1012 branch October 20, 2020 18:44
@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

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants