Python error

[Enrico Forestieri]

On Sat, Mar 14, 2020 at 05:27:19PM +0100, Enrico Forestieri wrote:

> On Sat, Mar 14, 2020 at 04:36:41PM +0100, Jürgen Spitzmüller wrote:
> > Am Samstag, den 14.03.2020, 16:22 +0100 schrieb Enrico Forestieri:
> > > Please, try the attached patch.
> > 
> > This fixes the problem for me.
> 
> I have extended the patch to some other obvious cases and committed it.
> 
> Riki, I think this (bd6d09fc) should also go to stable.

As well as 92c4bb46.

-- 
Enrico