jhernandez/gnome-shell:replace-panel-branding-patch
a10s
As proposed in https://github.com/AlmaLinux/ALESCo/pull/6.