Pipesville, Ohio
Pipesville is an unincorporated community in Knox County, in the U.S. state of Ohio.[1]
History
A post office called Pipesville was established in 1872, and remained in operation until 1902.[2] The community was named for Warren Pipes, first postmaster.[3]
gollark: Due to quirkiness with my design process, actually all of the logic ever is part of what was intended to be the simplifer (replacing the overly general pattern matching and reduction engine).
gollark: Except it doesn't actually reduce it sometimes and I don't know why.
gollark: Anyway, osmarkscalculator™ is now able to do stuff like `subst[x=4, x+4+3+2+1]` and be right.
gollark: Yes, that would be an unhappy fish.
gollark: Oh, you mean the tailless fish.
References
- U.S. Geological Survey Geographic Names Information System: Pipesville, Ohio
- "Knox County". Jim Forte Postal History. Retrieved 29 December 2015.
- Graham, Albert Adams (1881). History of Knox County, Ohio: Its Past and Present, Containing a Condensed, Comprehensive History of Ohio. A. A. Graham & Company. p. 473.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.