Verizon accidentally leaks Pixel July bug fixes before release of update

Verizon accidentally leaks information about the Pixel’s unreleased July Update.