Imported Debian version 0.8.16~exp12ubuntu10.19
Merge tag 'debian/0.8.16_exp12ubuntu10.19'

Debian version 0.8.16~exp12ubuntu10.19