User talk:2605:A601:2145:300:A1B5:8E8B:187F:8F4A

The page needs updating: Dr. Krauss died Sunday, August 11, 2019. I heard about this yesterday, August 12, from a friend. We both attended CoLang 2016, and met Dr. Krauss briefly at that time. My friend says that Craig Mishler posted the news the day of Dr. Krauss's death, and Siri Tuttle reposted the news, I think the next day. You can check her Facebook page. I think she still directs the ANLC, which Dr. Krauss founded. 2605:A601:2145:300:A1B5:8E8B:187F:8F4A (talk) 15:01, 13 August 2019 (UTC)Marc Robinson (marc.robinson@ku.edu)