debian rejected the patch, so maybe a plain sync is the best solution https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=767217
debian rejected the patch, so maybe a plain sync is the best solution /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 767217
https:/