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
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