Eris, Ohio
Eris is an unincorporated community in Champaign County, in the U.S. state of Ohio.[1]
History
Eris was not officially platted.[2] A post office called Eris was established in 1885 and remained in operation until 1903.[3]
gollark: Although you'd have to run it over UDP as no NAT devices etc. support it.
gollark: According to internetâ„¢, SCTP is an alternate protocol which fixes most of these issues somewhat.
gollark: SCTP might be good for this actually.
gollark: You probably want configurable priority and stuff but TCP bad and never had this.
gollark: Why is `ioctlo` in here? Odd.
References
- U.S. Geological Survey Geographic Names Information System: Eris, Ohio
- Middleton, Evan P. (1917). History of Champaign County, Ohio: Its People, Industries and Institutions. B.F. Bowen. p. 211.
- "Champaign County". postalhistory.com. Jim Forte Postal History. Archived from the original on 22 December 2015. Retrieved 21 December 2015.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.