Oops, how about switching to September 12 instead? I don't see any compelling need to stick to the usual Wednesday date.
Andreas, Matthias, sound OK? Michael _______________________________________________ release-team@gnome.org https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
