On Fri, 02 Feb 2018 08:24:36 +0100, dieter 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). 

Are you sure? Have you tried it recently, and by recently I mean in the 
last year or so, since the host's hard drive melted down. As far as I am 
aware, gmane's web archives hasn't worked for many months.





Reply via email to