On Thu, Feb 20, 2014 at 01:31:02AM +0000, Ian Jackson wrote: > I think this is a useful clarification and I accept this amendment. > > Colin, since you already have it to hand in git I see, could you > commit it directly there to the same file ? Sure, thanks - done. -- Colin Watson [cjwatson@debian.org]