Re:Mary Lee Berners-Lee has died
by ggg9990 on Thursday January 25, 2018 @01:31AM
(#16229204)
Is it a sad day for a family when a 93-year-old dies?
[ Parent
| on HN ]
Re:Mary Lee Berners-Lee has died
by lifeisstillgood on Thursday January 25, 2018 @07:17AM
(#16230326)
yes, it is.