19 Sep
2009
19 Sep
'09
6:14 a.m.
Ross Paterson
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@cl.cam.ac.uk