debian/0.4.0-1

Jeremy Bícha

@jbicha

d89e5398 · releasing package gnome-shell-extension-manager version 0.4.0-1 · Jan 24, 2023

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