OnePlus 7 Pro update adds August patch ahead of Google Pixel | Hacker News Reader