rpms/gnome-shell
9
0
Fork 1
Code Issues Pull requests Releases Activity

AlmaLinux changes: Show both icon and workspace indicator in panel #1

Merged
alukoshko merged 1 commit from jhernandez/gnome-shell:replace-panel-branding-patch into a10s 2025-05-20 16:09:38 +00:00
Conversation 1 Commits 1 Files changed 2 +46
jhernandez commented 2025-05-19 22:38:58 +00:00
Owner
Copy link

Also, remove distribution id check.

This PR addresses the solution proposed in https://github.com/AlmaLinux/ALESCo/pull/6

Also, remove distribution id check. This PR addresses the solution proposed in https://github.com/AlmaLinux/ALESCo/pull/6
Also, remove distribution id check.
jhernandez force-pushed replace-panel-branding-patch from 37e3a73051 to 937df13995 2025-05-19 23:22:50 +00:00 Compare
ngompa approved these changes 2025-05-20 01:58:46 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
ngompa
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
rpms/gnome-shell!1
No description provided.