Imported Debian patch 4.2-2ubuntu2.3
Merge tag 'debian/4.2-2ubuntu2.3'

Debian release 4.2-2ubuntu2.3