Welcome to Streamr’s core dev team update for July 2019. You’re supposed to take a break in the summer months — not us. As…