chiark / gitweb /
* use dh_strip rather than doing it ourselves. Closes #436624.