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