Re: JOSM Server Wechsel
Geschrieben von ToniE (Gast) am 31. Januar 2019 10:41:45: [flux]
Als Antwort auf:
JOSM Server Wechsel
geschrieben von
GerdP
(Gast)
am
31. Januar 2019 08:53:
GerdP wrote:
ToniE wrote:
Sind auch andere Server umgezogen worden?
Kann gut sein, dürfte aber mit dem JOSM server nichts zu tun haben.
yep, die ersten drei sind Aliasnamen von 'everest'.
josm.openstreetmap.de könnte ein Alias auf einen anderen Server sein [edit] ist es nicht [/edit]
Toni