[gnome-shell-extensions] Created branch gnome-40

[Florian Müllner]

The branch 'gnome-40' was created.

Summary of new commits:

  cc2f46b... Post-release version bump
_______________________________________________
gnome-i18n mailing list
gnome-i18n@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-i18n