[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64640] [PATCH gnome-team 0/2] Update gsettings-desktop-schemas.
From: |
Maxim Cournoyer |
Subject: |
[bug#64640] [PATCH gnome-team 0/2] Update gsettings-desktop-schemas. |
Date: |
Sat, 15 Jul 2023 22:58:46 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi,
Liliana Marie Prikler <liliana.prikler@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