Talk:Lars Arge

Died
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)