On Wed 17.Mar'10 at 18:07:11 +0100, Tamas TEVESZ wrote: > > they have been commented out for almost ten years anyway.
Yeah, happily applied. > carlos, i think the `plugins' directory itself is not removed by this > patch, could you please just axe it as well? Hm, it wasn't necessary. Thanks -- To unsubscribe, send mail to [email protected].
