Bump package version to 3.0.2, and at the same time write out all extensions' version explicitly (in case gnome-shell does not release 3.0.2)
Bump package version to 3.0.2, and at the same time write out all extensions' version explicitly (in case gnome-shell does not release 3.0.2)