Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use the correct variable name in include/device_utils.py::run_and_del…
…ete_dir_on_exception().
- Loading branch information