On 2014 Nov 23 (Sun) at 20:45:40 +0000 (+0000), Edd Barrett wrote: :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? :
OK :-- :Best Regards :Edd Barrett : :http://www.theunixzoo.co.uk : -- His mind is like a steel trap -- full of mice. -- Foghorn Leghorn
