On 20 Dec 2024 08:32 +0000, from soc...@teclab.at: > I filed a bug: https://gitlab.gnome.org/GNOME/gdm/-/issues/959 > > Not sure if you want/need me to file another bug in the Debian bug system. > > Asking for advice.
Generally the recommended way to do it is to file a bug report with the distributor (if you're running Debian, that would be in the Debian bug tracker) and let the package maintainer decide whether the issue should be fixed locally or upstreamed. The main exception to this is if you have installed the upstream version yourself on a system where the distributor's packaged version has never been installed. For tracking, since you have already filed a bug upstream and this sounds like something where a current version fix in Debian might be reasonable, in this case I would suggest to file a bug also in the Debian bug tracker and clearly point to the already filed upstream bug report. -- Michael Kjörling 🔗 https://michael.kjorling.se
