Hi all,
I just realized that all the emails I sent to the list in the last 9 months or so (mostly meeting minutes after each meeting) were dropped because I sent them from my Gmail address.
Apologies about that. Just a reminder that all minutes are available in this Google doc: https://docs.google.com/document/d/1qzeAnKDDOIgBzq3sLS1C1CacunTtrV5x5T5xPXUFRGM/edit#
Thanks,
Antonin