Exposure Notifications: Adjustments for API 1.8 See Google release notes. Small bugfixes