debian/3.30.0-1

Jeremy Bícha

@jbicha

ba9d2e79 · releasing package gnome-shell-extensions version 3.30.0-1 · Sep 05, 2018

tagging package gnome-shell-extensions version debian/3.30.0-1