3 ms·

Does that mean there will be another ten years of 32-bit support, or is that already out of 14.04 at this point?