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