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