Just a reminder that we are not going to meet today because of the monthly overlapping with the Language Design WG meeting.
See you next Monday,
---
Mario