Thank you for your bug report, a new GNOME versions is scheduled for next week, we will apply the change if they don't do it with the new tarball
Thank you for your bug report, a new GNOME versions is scheduled for next week, we will apply the change if they don't do it with the new tarball