Skip to content

Conversation

chriselion
Copy link
Contributor

@chriselion chriselion commented Dec 30, 2020

Proposed change(s)

We must have crossed PRs on the release branch. This should probably get cherry-picked if we do another patch release.

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

Types of change(s)

  • Bug fix

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

@chriselion chriselion merged commit 73804cb into master Jan 4, 2021
@delete-merged-branch delete-merged-branch bot deleted the fix-obsolete-warnings branch January 4, 2021 18:31
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 4, 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