debian/0.5.1-1

Jeremy Bícha

@jbicha

8b92d263 · releasing package gnome-shell-extension-manager version 0.5.1-1 · May 01, 2024

tagging package gnome-shell-extension-manager version debian/0.5.1-1