Reminder that the next PMC meeting is scheduled for 16:30 UTC on Tuesday, July 9. Talk to everyone then,
Torben