log deploy/linux/control @ 712:825d63ed6ca0

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