debian/copyright: add new additional copyright holder.
[debian/bti.git] / debian / patches / series
1 manpage-debian.patch