I proposed a possible workaround here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=805310
Some feedback on it will certainly be appreciated by the package maintainers.
I proposed a possible workaround here:
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 805310
Some feedback on it will certainly be appreciated by the package maintainers.