Marius Bakke <mba...@fastmail.com> skribis: > Ludovic Courtès <l...@gnu.org> writes: > >> Danny Milosavljevic <dan...@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.
Oh good, makes sense. Ludo’.