Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
finalize script: remove rm redundancy
Looks like two PRs with the same change got merged earlier To whoever made a standalone PR without checking if another one had the same change, you're really lame or something idk
- Loading branch information