FYI, upstream fixed this within about 1 h from reporting (!)

The patch is a one-liner. We would pick it up when the package is updated to 
0.12.13.

But what is best to do for stable ?

Thanks,

Paolo

Reply via email to