Imported Debian patch 2.12.14-5ubuntu3.7
Merge tag 'debian/2.12.14-5ubuntu3.7'

Debian release 2.12.14-5ubuntu3.7