For the connoisseurs of trivia, Linus shares a birthday with John von Neumann, who was born a 100 years ago. Well worth remembering. And commemorating.
-- Oleg Goldshmidt | [EMAIL PROTECTED] ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
