I've sent this patch up to GNOME, however, there is already another patch on that bug report. We'll see what happens.
I've sent this patch up to GNOME, however, there is already another patch on that bug report. We'll see what happens.