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

Debian version 0.8.16~exp12ubuntu10.20.1