Skip to content

Conversation

chriselion
Copy link
Contributor

Proposed change(s)

I messed this up in #5310.

Types of change(s)

  • Bug fix

@chriselion chriselion requested a review from dongruoping June 7, 2021 22:47
@chriselion chriselion merged commit adf7083 into release_18_branch Jun 7, 2021
@delete-merged-branch delete-merged-branch bot deleted the fix-soccer-inf branch June 7, 2021 23:34
chriselion pushed a commit that referenced this pull request Jun 9, 2021
chriselion pushed a commit that referenced this pull request Jun 10, 2021
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 8, 2022
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.

2 participants