The branch 'gnome-3-4' was created. Summary of new commits:
872750f... Use new gtk workarea API 19d4db4... Add 'encoding' profile setting _______________________________________________ release-team@gnome.org http://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.