On Sun, Nov 23, 2014 at 08:34:56PM +0000, Stuart Henderson wrote: > This DISTNAME is a duplicate; there is already one in the usual place > nearer the top of the file.
Indeed! Will remove before commit. > Otherwise looks good, but I haven't tested. Anyone else, comments? OK? -- Best Regards Edd Barrett http://www.theunixzoo.co.uk
