Among the 16 debian patches available in version 13.7-1 of the package, we noticed the following issues: