Talk:Thomas G. Shanks

Deceased
According to Paul Eggert's LibrePlanet 2022 talk at 28:34-28:51, Shanks died sometime prior to September 2011. I'm not sure where this information is reasonably sourced, although I don't think there is any question as to its veracity.