Minutes for the 2020-05-18 meeting

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

Received on Thursday, 21 May 2020 12:56:11 UTC