Among the 2 debian patches available in version 3.7.2+~3.7.1-3 of the package, we noticed the following issues: