 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
Died edit
I heard by email that Lars died last night, from the cancer that he had been fighting for a long time. I'll update the article once publicly available sources can be found. —David Eppstein (talk) 19:33, 24 December 2020 (UTC)