3 ms·

It seemed to come to my German Pixel 1 as an over-the-air update straight away as well, currently downloading it. Nice job, Google!