Minutes for the 2018-12-17 meeting

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

Received on Thursday, 3 January 2019 12:20:20 UTC