Webster, Ohio
Webster is an unincorporated community in Darke County, in the U.S. state of Ohio.[1]
History
Webster was laid out in 1835.[2] A post office called Webster was established in 1852, and remained in operation until 1901.[3]
gollark: Also, casting via as then try_into-ing is pointless.
gollark: Also, instead of get then unwrap, simply do map[&(target-num)].
gollark: That should implement Copy, so just dereference it.
gollark: There's an option method to convert Option<&T> to &Option<T>, yes?
gollark: I assume that this might be using the ESP8266's weird I2S hardware, assuming it has similar stuff to the ESP32.
References
- U.S. Geological Survey Geographic Names Information System: Webster, Ohio
- The History of Darke County, Ohio: Containing a History of the County; Its Cities, Towns, Etc. W. H. Beers & Company. 1880. p. 414.
- "Darke County". Jim Forte Postal History. Retrieved 25 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.