Galaxy planet name question From: bjones@wente.llnl.gov (Brian Jones) Date: Tue, 20 Apr 1993 07:01:40 +0000 I know this may seem a silly question, but in galaxy, when a planets name is changed, can it still be refered to by it's number? And suppose I have ships going to planet 87, and someone conquers it and changes it's name while my ships are in route. Will my ships arrive at the right location? I'm going to assume that they will, but if I'm wrong, I'd like to here it. -- Brian R. Jones "It's not MY planet, Monkey Boy", bjones@vsattui.llnl.gov John Bigboote, Buckaroo Bonzai. ScumPuppy Referenced By Up