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
