Ross Paterson <ross at soi.city.ac.uk> writes: > On Thu, Sep 17, 2009 at 04:15:15PM +0100, Jon Fairbairn wrote: >> So I've formally proposed mfilter instead. I imagine that I should close >> this ticket: is the correct resolution "wontfix"? > > Yes OK, done. -- Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk