Skip to content

#137 Prevent users fromn creating new planets with the same name as an existing planet.#145

Merged
Raugharr merged 1 commit intomainfrom
validate-new-planet-names
Jan 21, 2026
Merged

#137 Prevent users fromn creating new planets with the same name as an existing planet.#145
Raugharr merged 1 commit intomainfrom
validate-new-planet-names

Commits