The branch 'gnome-3-14' was created pointing to: 4051506... Port the external-tools plugin to the new file saving API
_______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
