Merge pull request #132170 from mm--/gnome-extension-rename
gnomeExtensions.system-monitor: fix system-monitor name collision
authored by Sandro and committed by GitHub 4 years ago 9df2cb07 a94bb937