Processed: Re: Bug#1115843: gnome-tweaks: Shell theme list not sorted alphabetically

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 1115843 https://gitlab.gnome.org/GNOME/gnome-tweaks/-/merge_requests/163
Bug #1115843 [gnome-tweaks] gnome-tweaks: Shell theme list not sorted alphabetically
Set Bug forwarded-to-address to 'https://gitlab.gnome.org/GNOME/gnome-tweaks/-/merge_requests/163'.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
1115843: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1115843
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems