rpms/gnome-shell
6
0
Fork 1
Code Issues Pull Requests Releases Activity

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

Merged
alukoshko merged 1 commits from jhernandez/gnome-shell:replace-panel-branding-patch into a10s 2025-05-20 16:09:38 +00:00
Conversation 0 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
jhernandez added 1 commit 2025-05-19 22:38:58 +00:00 
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
alukoshko merged commit 7db2b90ada into a10s 2025-05-20 16:09:38 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
ngompa
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
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.
Delete Branch "jhernandez/gnome-shell:replace-panel-branding-patch"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?