|
| From: | Ludovic Courtès |
| Subject: | bug#38567: [PATCH] gnu: Add gnome-shell-extension-dash-to-panel. |
| Date: | Thu, 19 Dec 2019 23:22:50 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi, Giacomo Leidi <address@hidden> skribis: > * gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New > variable. Applied, thanks! Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |