Hi all, my previous debdiff fixes CVE-2019-13031 (#931117). I'll update debian/changelog if you agree with this update