3 ms·

But, if it had happened, it wouldn't have changed the outcome (assuming that 16-17 year olds would have voted the same as 18-19 year olds did).