This repository has been archived by the owner on Oct 31, 2023. It is now read-only.
Fix: disable only new envs in EnvironmentManager.register_env#4914
Merged
mfranciszkiewicz merged 1 commit intob0.22from task_api_env_registrationNov 20, 2019
+2-1
