Minutes for the 2020-05-11 meeting

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

Received on Friday, 15 May 2020 15:54:17 UTC