GNU bug report logs - #70766
Request for merging "gnome-team" branch

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Subject: bug#70766: closed (Re: [bug#70766] Request to merge "gnome-team"
 branch)
Date: Thu, 06 Jun 2024 21:12:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#70766: Request for merging "gnome-team" branch

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 70766 <at> debbugs.gnu.org.

-- 
70766: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70766
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Christopher Baines <mail <at> cbaines.net>
Cc: 70766-done <at> debbugs.gnu.org
Subject: Re: [bug#70766] Request to merge "gnome-team" branch
Date: Thu, 06 Jun 2024 23:10:09 +0200

Am Donnerstag, dem 06.06.2024 um 20:59 +0100 schrieb Christopher
Baines:
> Liliana Marie Prikler <liliana.prikler <at> gmail.com> writes:
> 
> > Am Dienstag, dem 04.06.2024 um 21:45 +0100 schrieb Christopher
> > Baines:
> > > […]
> > > 
> > > I've just looked at QA again and the numbers look really good, is
> > > gnome-team now ready to push to master?
> > 
> > If it looks good to you, it's good for me.  Featurewise, we more or
> > less got what we want – there is a newer WebkitGTK, but we
> > shouldn't
> > let that delay upgrading our already out-of-date WebkitGTK.  Shall
> > I go
> > ahead and push?
> 
> Yes, please push :)
> 
> I've just reconfigured my laptop with the gnome-team changes, and I
> haven't seen any issues.
Pushed as b8780f7397dd46b5e382e48db87b8648f769d738.

Thanks for the reviews

[Message part 3 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: Request to merge "gnome-team" branch
Date: Sat, 04 May 2024 08:41:30 +0200

Hi Guix,

gnome-team currently has some important updates to gtk and webkitgtk
that I'd like to see on master.  Unfortunately, CI has yet to rebuild
some Java stuff that is ultimately needed by the gnome metapackage.  In
the meantime, I'd like y'all to try out some smaller packages –
substitutes for all webkit variants are available.

Cheers

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.