[tei-council] Stylesheets group - when to meet?

We hold our meetings the Tue following the TEI Council meeting. Thus we had originally scheduled Tue 07-03 (at 13:00Z). However, Council has moved their Thu 06-28 meeting to Mon 07-09. Do we want to keep our meeting at the same slot, or move it? A) Tue 07-03 (keep it the same) B) Tue 07-10 (move it to the Tue after Council) C) Tue 07-17 (move it to the Tue the week after Council) D) Something else (will probably require Doodle poll) Personally, I am currently available all 3 of those, so I don't really care.