Two more JS engine bugs I reported were fixed: CVE-2019-8594 (Safari) and CVE-2019-0923 (Edge)!