Mapping Kenya makes progress

https://www.openstreetmap.org/user/Peter Dörrie/diary/6679