GNU bug report logs - #64640
[PATCH gnome-team 0/2] Update gsettings-desktop-schemas.

Previous Next

Package: guix-patches;

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

Date: Sat, 15 Jul 2023 07:02:02 UTC

Severity: normal

Tags: patch

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: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>, 64640 <at> debbugs.gnu.org
Subject: [bug#64640] [PATCH gnome-team 0/2] Update gsettings-desktop-schemas.
Date: Sat, 15 Jul 2023 22:58:46 -0400

Hi,

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

> Hi Guix,
>

[...]

> I failed to notice that "packages" on CI
> doesn't actually build packages and thus we're stuck with a giant
> webkitgtk build that I personally don't have the resources for.

What is "packages" on CI?

> Anyway, here's an update to gsettings-desktop-schemas that will be
> needed going forward for sure.

Good.  Just to confirm, that's to be pushed and be built on the
gnome-team branch, as implied in the subject prefix, right?

-- 
Thanks,
Maxim
This bug report was last modified 1 year and 337 days ago.

Previous Next

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