On 2018-02-02, dieter <die...@handshake.de> wrote: > jlada...@itu.edu writes: >> ... >> Let me ask those of you who are not using Google Groups: how do you search? >> In my experience, searching through mailing list archives has been poor. > > I am using "gmane.org" which has quite a good search (in my view).
1) Gmane's search sucked. [Using Google to search the Gmane site worked fairly well.] 2) Gmane's search and webui has been absent for years. -- Grant Edwards grant.b.edwards Yow! ... If I had heart at failure right now, gmail.com I couldn't be a more fortunate man!! -- https://mail.python.org/mailman/listinfo/python-list