Skip to content

Conversation

@dongruoping
Copy link
Contributor

Proposed change(s)

Reported in #5378.

Useful links (Github issues, JIRA tickets, ML-Agents forum threads etc.)

Types of change(s)

  • Bug fix
  • New feature
  • Code refactor
  • Breaking change
  • Documentation update
  • Other (please describe)

Checklist

  • Added tests that prove my fix is effective or that my feature works
  • Updated the changelog (if applicable)
  • Updated the documentation (if applicable)
  • Updated the migration guide (if applicable)

Other comments

@dongruoping dongruoping requested a review from chriselion May 24, 2021 17:07
@dongruoping dongruoping merged commit cf1f6be into main May 25, 2021
@delete-merged-branch delete-merged-branch bot deleted the develop-fix-glossary branch May 25, 2021 18:13
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 25, 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.

3 participants