This bug has been fixed upstream since 29 July 2019.

I've replied to bug #999754 earlier today linking to the necessary patch.
See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=999754#10

Kind regards,
+ Kimmo

Reply via email to