Merge pull request #195255: gnomeExtensions: auto-update

This commit is contained in:
piegames
2022-10-10 17:10:59 +02:00
committed by GitHub
File diff suppressed because one or more lines are too long