Minutes for the 2018-12-10 meeting

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

Received on Wednesday, 12 December 2018 15:19:06 UTC