Update on what happened across the GNOME project in the week from June 30 to July 07.