[bug#68556] [PATCH gnome-team v3 2/7] gnu: gnome-shell-extensions: Propagate gnome-menus.

[Vivien Kraus]

* gnu/packages/gnome.scm (gnome-shell-extensions) [propagated-inputs]: Add 
gnome-menus.

Change-Id: I6d2582352b499dd7012d3c0642a3cb48ded68e07
---
 gnu/packages/gnome.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 1e08e027c3..1627e7832f 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -10731,7 +10731,8 @@ (define-public gnome-shell-extensions
            gettext-minimal
            pkg-config))
     (propagated-inputs
-     (list glib))
+     ;; gnome-menus is required for the built-in Applications Menu extension.
+     (list glib gnome-menus))
     (synopsis "Extensions for GNOME Shell")
     (description "GNOME Shell extensions modify and extend GNOME Shell
 functionality and behavior.")
-- 
2.41.0