Skip to content

Conversation

@chriselion
Copy link
Contributor

@chriselion chriselion commented Dec 10, 2019

Fix from #3051

Note that this was redone on master in #3022, so might cause merge conflicts when merging back to master.

@chriselion chriselion merged commit 38e81a0 into release-0.12.1 Dec 11, 2019
@delete-merged-branch delete-merged-branch bot deleted the release-0.12.1-fix-notebook branch December 11, 2019 01:00
chriselion pushed a commit that referenced this pull request Dec 12, 2019
* cherry pick PR#3032 (#3066)

* better logging for ports and versions (#3048) (#3069)

* Release 0.12.1 doc fixes (#3070)

* add env.step() (#3068)

* bump version strings
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 17, 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.

3 participants