On Tue, Aug 4, 2015 at 9:31 AM, Jochen Theodorou <blackd...@gmx.org> wrote: > ...Next time I will archive such mails in my mail program instead. Learned > something for the future...
Markmail is pretty useful here: http://incubator.markmail.org/search/?q=from%3ATheodorou+list%3Aorg.apache.incubator.general And there's also https://mail-search.apache.org/ but I'm not sure if podling PPMC members can use it. -Bertrand --------------------------------------------------------------------- To unsubscribe, e-mail: general-unsubscr...@incubator.apache.org For additional commands, e-mail: general-h...@incubator.apache.org