Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
No need to set options.tmp_outdir_prefix
There's no need to set `options.tmp_outdir_prefix` here. It is not done in the current `master` branch either.
- Loading branch information