Hi, everybody,

Before the beginning of the summer holidays we discussed if we shall hold the meetings in July/August. I put a table in the Rolling Notes file (right below the notes for meeting #8):

https://docs.google.com/document/d/1oK7w-jjZ8D2h_tijhhzz6BX5QAzPvKfhQ5KAArbVSVs/edit

where you could mark your availability for both meetings. The table shows 50/50 presence/absence. We still had a short meeting in July and it was informal and very useful. I will therefore suggest that we try to gather for the August meeting tomorrow too and decide on the fly whether we hold it or not.

Have a nice summer!

Nikolay