https://udd.debian.org/cgi-bin/bts-usertags.cgi?tag=shell-3.30&user=pkg-gnome-maintainers%40lists.alioth.debian.org <- that's Simon's list of bugs filed in Debian, which is probably more or less the same in Ubuntu.
https:/ /udd.debian. org/cgi- bin/bts- usertags. cgi?tag= shell-3. 30&user= pkg-gnome- maintainers% 40lists. alioth. debian. org <- that's Simon's list of bugs filed in Debian, which is probably more or less the same in Ubuntu.