I did not know of it until about 24 hours later, because we were in the USA (at Worldcon) and not paying attention to the news. I saw someone's newspaper in their hand and asked if the headline meant what it looked like it meant... and I have been incomparably more unhappy when someone I knew died.