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

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Sat, 4 May 2024 06:43:01 UTC

Severity: normal

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

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>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#70766: closed (Request for merging "gnome-team" branch)
Date: Thu, 06 Jun 2024 21:12:02 +0000

[Message part 1 (text/plain, inline)]
Your message dated Thu, 06 Jun 2024 23:10:09 +0200
with message-id <b4cafe8b03da4f17c281ac8f2ad93eb6108ad831.camel <at> gmail.com>
and subject line Re: [bug#70766] Request to merge "gnome-team" branch
has caused the debbugs.gnu.org bug report #70766,
regarding Request for merging "gnome-team" branch
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> 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: 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



[Message part 3 (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
This bug report was last modified 1 year and 43 days ago.

Previous Next

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