13 Oct
2011
13 Oct
'11
8 a.m.
For those of you who haven't heard yet, dmr died on Sunday. Rob Pike
announced it at
https://plus.google.com/101960720994009339267/posts/ENuEDDYfvKP
I don't know what to say. A *real* giant is dead. And almost the
saddest thing is that nobody has paid any attention.
Greg
--
Sent from my desktop computer
Finger grog(a)FreeBSD.org for PGP public key.
See complete headers for address and phone numbers.
This message is digitally signed. If your Microsoft MUA reports
problems, please read http://tinyurl.com/broken-mua