bug#42177: closed ([PATCH 0/3] Add GNOME Builder)

[GNU bug Tracking System]

Your message dated Fri, 10 Jul 2020 23:22:23 +0200
with message-id <87d053xdyo.fsf@gnu.org>
and subject line Re: [bug#42177] [PATCH 3/3] gnu: Add gnome-builder.
has caused the debbugs.gnu.org bug report #42177,
regarding [PATCH 0/3] Add GNOME Builder
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
42177: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42177
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] Add GNOME Builder
>
>
>
>
> Date: 
>
> Fri, 03 Jul 2020 12:34:25 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.34.2 
>
>
>
>
> Hi Guix,
>
> seeing how this has been long on the Guix wishlist, I've decided to
> package GNOME Builder.  I don't yet have the complete package; support
> for clang, flatpak and glade is currently missing, but the basics
> should work to some extent.  Bear in mind, that I only did some light
> usage testing, so there may be bugs I'm missing.
>
> Regards, Leo
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#42177] [PATCH 3/3] gnu: Add gnome-builder.
>
>
>
>
> Date: 
>
> Fri, 10 Jul 2020 23:22:23 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Leo Prikler <leo.prikler@student.tugraz.at> skribis:
>
> > * gnu/packages/gnome.scm (gnome-builder): New variable.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---