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

[Jeremy Bícha]

Control: forwarded -1
https://gitlab.gnome.org/GNOME/gnome-tweaks/-/merge_requests/163
Control: tags -1 +patch

It looks like a fix was proposed for this issue.

Thank you,
Jeremy Bícha