8 ms·Which he lost... i.e. Linus paid no attention to what Bram said ;)by ob 15y agoWhich he lost... i.e. Linus paid no attention to what Bram said ;)