GNU bug report logs - #68556
[PATCH gnome-team 00/25] Update the GNOME Shell extensions

Previous Next

Full log

Message #340 received at 68556-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Vivien Kraus <vivien <at> planete-kraus.eu>, 68556-done <at> debbugs.gnu.org
Cc: rg <at> raghavgururajan.name, maxim.cournoyer <at> gmail.com
Subject: Re: [PATCH gnome-team v7 0/7] Wrap all the extensions at once with
 dump-port
Date: Sun, 04 Feb 2024 21:30:40 +0100

Am Sonntag, dem 04.02.2024 um 08:00 +0100 schrieb Vivien Kraus:
> Dear guix,
> 
> In this revision, I use the guix “dump-port” function instead of the
> guile/libc “sendfile”, as suggested. The result is byte-identical.
> 
> Best regards,
> 
> Vivien
Pushed at last.

There's probably some cosmetic changes that one can still do on top,
but for now let's leave it at that.  Looking forward to resolving the
rest of gnome-team soon.™

Cheers

Previous Next

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