Thank you for your bug report. This bug has been reported to the developers of the software. You can track it and make comments at: https://bugzilla.gnome.org/show_bug.cgi?id=667227.
I have created a patch for this bug and attached it upstream, hopefully it will get into the next upstream release.
Thank you for your bug report. This bug has been reported to the developers of the software. You can track it and make comments at: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 667227.
I have created a patch for this bug and attached it upstream, hopefully it will get into the next upstream release.