mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-18 07:34:54 +00:00
The ID is currently hard-coded to the non-development one, with
the result that the .Devel app effectively doesn't have any
metainfo.
Fix that by configuring the file with the correct ID.
Part-of:
<https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3158>
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| extensions-app | ||
| extensions-tool | ||
| gvc@91f3f41490 | ||
| shew | ||