Minutes for the 2020-07-20 meeting

Please find them in this doc
<https://docs.google.com/document/d/1Y77iaVObKMG2OM-sK72Hi_ahaj9App5ZeL7iyboS_Mg>
.

Received on Monday, 27 July 2020 13:03:26 UTC