20190709 gadgets-news: OnePlus 7 Pro gets update; here are all new changes and improvements