[gnome-shell-extensions] Created tag 40.2

[Florian Müllner <fmuellner src gnome org>]

The signed tag '40.2' was created.

Tagger: Florian Müllner <fmuellner gnome org>
Date: 1623327373 +0200

    Tag release 40.2

Changes since the last tag '40.1':

Adam Goode (1):
      window-list: Don't use panel-button class for the workspace indicator

Florian Müllner (3):
      Post-release version bump
      build: Only use major version in shell-versions
      Tag release 40.2

Hugo Carvalho (1):
      Update Portuguese translation

Juliano de Souza Camargo (1):
      Update Portuguese translation