bug#38811: closed (gnu: Add gnome-menus.)

[GNU bug Tracking System]

Your message dated Mon, 30 Dec 2019 21:02:04 +0100
with message-id <address@hidden>
and subject line Re: [bug#38811] gnu: Add gnome-menus.
has caused the debbugs.gnu.org bug report #38811,
regarding gnu: Add gnome-menus.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
38811: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38811
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> gnu: Add gnome-menus.
>
>
>
>
> Date: 
>
> Mon, 30 Dec 2019 12:52:29 +0000
>
>
>
>
> Hello Guix!
>
> Please find the attached patch for adding gnome-patches.
>
> Thank you!
>
> Regards,
> RG.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [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
>
>
> --- End Message ---