Minutes for the 2020-07-13 meeting

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

Received on Friday, 17 July 2020 13:51:03 UTC