Subject: Request for merging "python-team" branch

From: Ricardo Wurmus <[email-masked]>
Date: Wed, 01 Jan 2025 18:58:58 +0100

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.

-- 
Ricardo