Comment 1 for bug 1728617

The patch was added in 2012 in reaction to https://bugzilla.gnome.org/show_bug.cgi?id=671305 and it should probably be removed indeed but softwares got fixed and there is no need for a distro specific behaviour there, thanks for the report