Hi Noé, On 2026-05-13 at 21:27+02:00, Noé Lopez wrote: > Would you consider taking <https://codeberg.org/guix/guix/pulls/8023>? > > Otherwise, we can probably take it on gnome-team.
Either way is fine to me. If you want that and the PR is approved before python-team got merged (kde-team is already merged), feel free to push it to misc-world-rebuild. Cheers, Phong
