Fix resource leaks in to_zip/from_zip and incorrect dirname argument in setup.py#3135

jashshah999 wants to merge 1 commit intogoogle-deepmind:maingoogle-deepmind/mujoco:mainfrom

jashshah999:fix/resource-leaks-and-dirname-bugjashshah999/mujoco:fix/resource-leaks-and-dirname-bugCopy head branch name to clipboard