[debbugs-tracker] bug#35028: closed ([PATCH 0/3] Remove WebKitGTK from GNOME Shell closure)

[GNU bug Tracking System]

Your message dated Sat, 30 Mar 2019 15:19:10 +0100
with message-id <address@hidden>
and subject line Re: [bug#35028] [PATCH 0/3] Remove WebKitGTK from GNOME Shell 
closure
has caused the debbugs.gnu.org bug report #35028,
regarding [PATCH 0/3] Remove WebKitGTK from GNOME Shell closure
to be marked as done.

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


-- 
35028: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35028
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] Remove WebKitGTK from GNOME Shell closure
>
>
>
>
> Date: 
>
> Wed, 27 Mar 2019 23:14:06 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hi Guix,
>
> This patch set removes WebKitGTK from the GNOME Shell closure, making it
> way smaller.  I built all the dependants of “evolution-data-server” and
> “gnome-online-accounts”, fixing the inputs as I went.  I also tested a
> few things in a virtual machine.  Everything seems good to me, but it is
> hard to tell what might break subtly with something like
> “gnome-online-accounts”.  I did make sure that the GNOME Control Center
> still worked after having removed it as an input to GNOME Shell.  I’m
> not sure why it was there in the first place.
>
> Timothy Sample (3):
>   gnu: gnome-online-accounts: Split off 'lib' output.
>   gnu: evolution-data-server: Add 'libedataserverui' output.
>   gnu: gnome-shell: Remove gnome-control-center from inputs.
>
>  gnu/packages/gnome.scm | 71 ++++++++++++++++++++++++++++++++++++------
>  1 file changed, 62 insertions(+), 9 deletions(-)
>
>
> -- Tim
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#35028] [PATCH 0/3] Remove WebKitGTK from GNOME Shell closure
>
>
>
>
> Date: 
>
> Sat, 30 Mar 2019 15:19:10 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hi Timothy,
>
> Timothy Sample <address@hidden> skribis:
>
> > This patch set removes WebKitGTK from the GNOME Shell closure, making it
> > way smaller.  I built all the dependants of “evolution-data-server” and
> > “gnome-online-accounts”, fixing the inputs as I went.  I also tested a
> > few things in a virtual machine.  Everything seems good to me, but it is
> > hard to tell what might break subtly with something like
> > “gnome-online-accounts”.  I did make sure that the GNOME Control Center
> > still worked after having removed it as an input to GNOME Shell.  I’m
> > not sure why it was there in the first place.
> >
> > Timothy Sample (3):
> >   gnu: gnome-online-accounts: Split off 'lib' output.
> >   gnu: evolution-data-server: Add 'libedataserverui' output.
> >   gnu: gnome-shell: Remove gnome-control-center from inputs.
>
> I’ve applied it all and also tested in a VM.  It looks good!
>
> Thank you!
>
> BTW, we should probably give you commit access.  Would you like to
> create an account on Savannah and upload your OpenPGP key there?
>
> Ludo’.
>
>
> --- End Message ---