Bring in sync with deepmind/mujoco commit a499b381:#664

ikasou wants to merge 1 commit intoopenai:masteropenai/mujoco-py:masterfrom

ikasou:m1ikasou/mujoco-py:m1Copy head branch name to clipboard