Skip to content

Conversation

@jpobst
Copy link
Contributor

@jpobst jpobst commented May 10, 2021

@jpobst jpobst requested a review from jonpryor as a code owner May 10, 2021 15:19
@jonpryor jonpryor merged commit a321d74 into main May 10, 2021
@jonpryor jonpryor deleted the bump-ji-may-10 branch May 10, 2021 20:23
@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