Bug#899348: java.net.UnknownHostException: api.openstreetmap.org
積丹尼 Dan Jacobson
jidanni at jidanni.org
Wed May 23 07:32:18 BST 2018
Package: josm
Version: 0.0.svn13710+dfsg-1
Severity: grave
Cannot open files. Please upgrade.
>>>>> "J" == JOSM <trac at josm.openstreetmap.de> writes:
J> #16308: java.net.UnknownHostException: api.openstreetmap.org
J> ----------------------+--------------------
J> Reporter: jidanni | Owner: team
J> Type: defect | Status: closed
J> Priority: normal | Milestone: 18.05
J> Component: Core | Version:
J> Resolution: fixed | Keywords:
J> ----------------------+--------------------
J> Changes (by stoecker):
J> * status: new => closed
J> * resolution: => fixed
J> * milestone: => 18.05
J> Comment:
J> Fixed in r13821. See #16047.
J> --
J> Ticket URL: <https://josm.openstreetmap.de/ticket/16308#comment:1>
J> JOSM <https://josm.openstreetmap.de>
J> Java Openstreetmap Editor
More information about the Pkg-grass-devel
mailing list