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

Debian version 0.8.16~exp12ubuntu10.17