Merge pull request #201246: gnomeExtensions: auto-update
authored by piegames and committed by GitHub 3 years ago d325ce6c 21e303ae