[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38811: gnu: Add gnome-menus.
|
From: |
Jan Nieuwenhuizen |
|
Subject: |
bug#38811: gnu: Add gnome-menus. |
|
Date: |
Mon, 30 Dec 2019 21:02:04 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Raghav Gururajan writes:
Hello Raghav,
> Please find the revised patch attached with this email. :-)
Thanks, applied and pushed to master with two minor changes.
> +(define-public gnome-menus
> + (package
> + (name "gnome-menus")
Updated to two spaces of indentation.
> + (uri (string-append "mirror://gnome/sources/" name "/"
I changed this to "mirror://gnome/sources/gnome-menus/"
Greetings,
janneke
--
Jan Nieuwenhuizen <address@hidden> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com