On 5 Apr 2006, at 14:18 , Martin Pool wrote: >> >> Ping - was that a yes or a no to merging this ? > > Yes, +1 to merge it, if you're happy with it. Would it be possible to move the gzip hacks into a file separate from the knit code itself? -- Martin Pool