log deploy/linux/control @ 737:4f3a8aa8d384 tip

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