Ohio county boundaries merged

https://www.openstreetmap.org/user/Vid the Kid/diary/10675