5 ms·

Indeed, he would have called Eric Schmidt to let him know about this Android bug before it being released.