Minutes for the 2020-08-03 meeting

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

Received on Friday, 14 August 2020 15:17:52 UTC