As far as I can say these extensions can be considered as derivative work and will have to be under the same license as gnome-shell, i.e. gplv2.

Reply via email to