Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Code cleanup. * fg/submodule-fixup: git-submodule.sh: remove duplicate call to set_rev_name
- Loading branch information
Code cleanup. * fg/submodule-fixup: git-submodule.sh: remove duplicate call to set_rev_name