Bug#929611: CVE-2019-13031

[Xavier]

Hi all,

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