On 20 Dec 2024 08:32 +, 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 distri
Dear Debian Users,
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.
Regards
Thomas
2 matches
Mail list logo