log deploy/linux/control @ 721:744933aba33a

age author description
Wed, 12 Dec 2018 11:44:21 +0000 Chris Cannam Further deb packaging fixes, including undoing the last change, which appears to be not permitted