Skip to content

Conversation

chriselion
Copy link
Contributor

@chriselion chriselion commented Aug 26, 2020

Proposed change(s)

(Didn't do this in the main PR because I didn't want to deal with merging master to the forked branch)

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

#4399

Types of change(s)

  • Documentation update

Checklist

@chriselion chriselion requested a review from surfnerd August 26, 2020 23:30
@chriselion
Copy link
Contributor Author

@J-Travnik for visibility

@chriselion chriselion merged commit f086fb4 into master Sep 2, 2020
@delete-merged-branch delete-merged-branch bot deleted the grid-sensor-changelog branch September 2, 2020 22:58
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 3, 2021
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