2 ms·Is he known as Linus "Jenkins" Torvalds?by someweirdperson 4y agoIs he known as Linus "Jenkins" Torvalds?