Ludovic Courtès <ludo@gnu.org> writes:

> Danny Milosavljevic <dannym@scratchpost.org> skribis:
>
>> Hi Ludo,
>>
>>> If you know more details, you’re welcome to add them in the comment, but
>>> otherwise feel free to push!
>>
>> Does that mean push to master or to python-tests or to both?
>
> Good question!  That can go to master, but Marius and Leo know better
> whether ‘python-tests’ is a better fit.  Thoughts?

This is already fixed in 'python-tests' by
97be1bc23128cf42c49867d984c43f6fea3820d6. I don't think we need to fix
it in 'master', since it "succeeds" anyway.