[Geocoding] [OpenStreetMap] #3819: Washington, DC county is wrong

[OpenStreetMap]

#3819: Washington, DC county is wrong
-------------------------+-------------------------
  Reporter:  awiseman@…  |      Owner:  geocoding@…
      Type:  defect      |     Status:  closed
  Priority:  minor       |  Milestone:
 Component:  nominatim   |    Version:
Resolution:  worksforme  |   Keywords:  county
-------------------------+-------------------------
Changes (by lonvia):

 * status:  new => closed
 * resolution:   => worksforme


Comment:

 Has been fixed in the OSM data.

-- 
Ticket URL: <https://trac.openstreetmap.org/ticket/3819#comment:6>
OpenStreetMap <http://www.openstreetmap.org/>
OpenStreetMap is a free editable map of the whole world