On Sat, Sep 09, 2023 at 11:55:05PM -0400, Amin Bandali wrote:
> We have learned with deep sadness that Thien-Thi Nguyen (ttn) died in
> October 2022.

Sad news. TTN was such an incredibly nice person.

You'll be missed.

-- 
t