Changes to KEO, DIOD
2022-10-17 13:29:38
update
(no change comment)
Changed latitude_deg
from "9.5"
to "9.53946"
Changed longitude_deg
from "-7.567"
to "-7.56134"