ubuntu/42.1-0ubuntu1

Jeremy Bicha

@jbicha

2da0cd78 · releasing package gnome-shell-extensions version 42.1-0ubuntu1 · May 09, 2022

gnome-shell-extensions Debian release 42.1-0ubuntu1