-
wlott authored
so that it can be filled in later if we don't know all the info now. Changed make-location-info to allow the label to be NIL, meaning it will be filled in later.
8ae269de
so that it can be filled in later if we don't know all the info now. Changed make-location-info to allow the label to be NIL, meaning it will be filled in later.