Ethereum Core Devs Meeting #142

In this a recording of Ethereum Core developers meeting number 142 which took place on July 8, 2022.