Merge pull request #209200: gnomeExtensions: auto-update
authored by piegames and committed by GitHub 3 years ago a518c771 95b064a5