...
If you ignore system extensions, then you won't be able to update dash to dock and others in any sessions, which is even more restrive for people wanting to do this. And no, the chrom-gnome-shell notifier doesn't ignore them.
Hope this is more clear to you.
Didier
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list