Bill Gates and Linus Torvalds meet for 1st time, have dinner

From June, apparently.

Reported also to have been at the dinner: Dave Cutler, Mark Russinovich.

[flagged]