Yesterday evening (July 10, 2017), my Pixel C tablet, running Stock Android 7.1.2, received an expected, minor update, bringing its security-patch level to July 5. There is one such patch for each month, typically associated with the 5th day, but actually released several days later.
While this patch did not seem to break anything, it also did not resolve This Bug.
Dirk