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