Skip to content

If the renamed type already exists, use a random name.#389

Merged
KirillOsenkov merged 1 commit into
gluck:masterfrom
schleupen:fix_renamed_type_already_exists
Feb 1, 2025
Merged

If the renamed type already exists, use a random name.#389
KirillOsenkov merged 1 commit into
gluck:masterfrom
schleupen:fix_renamed_type_already_exists

Commits

Commits on Jan 31, 2025