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

Florian Müllner <[email protected]> Sun, 10 Jul 2022 12:34:29 +0000 (UTC)
Newsgroups gmane.comp.gnome.internationalization.general
Message-ID <[email protected]>
The branch 'gnome-42' was created pointing to:

 ea82830... Update it.po, corrected the file-manager name File.