Thanks a lot, Andreas, for looking at this!

Would you take a look at this one?

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818872

It's apparently the "same" bug, so most likely the fix for #818873
would also work for #818872 as well.

Thanks.

Reply via email to