Subject: Re: Request for merging "python-team" branch

From: Lars-Dominik Braun <[email-masked]>
Date: Sun, 5 Jan 2025 11:34:49 +0100

Hi Ricardo,

> The python-team branch is currently tracking the rust-team branch,
> because it depends on changes there.  It is shaping up nicely and we
> hope to be able to merge it some time soon.

I recall you wanted to keep python-team small, but do you mind if I
push https://issues.guix.gnu.org/74993 there (it’s a small, but
world-rebuilding change)?

Thanks,
Lars