Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #389 from schleupen/fix_renamed_type_already_exists
If the renamed type already exists, use a random name.
- Loading branch information