debian/47.0-2

Jeremy Bícha

@jbicha

a8e15a36 · releasing package gnome-shell-extensions version 47.0-2 · Oct 04, 2024

tagging package gnome-shell-extensions version debian/47.0-2