log deploy/linux/control @ 716:6fb20633da00

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