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