A bit late but patch is small and fixes a crash; 1/2 for Release Team
Niels, You're good to go. Michael _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
