On 7 July 2013 23:46, Michael Catanzaro <mike.catanzaro at gmail.com> wrote: > [1] https://bugzilla.gnome.org/show_bug.cgi?id=701464 > [2] https://bugzilla.gnome.org/show_bug.cgi?id=666635 > [3] https://bugzilla.gnome.org/show_bug.cgi?id=663692#c4 Please push all three patches, thanks! Richard.