[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: lists.gnu.org/archive web search is broken?
From: |
Eli Zaretskii |
Subject: |
Re: lists.gnu.org/archive web search is broken? |
Date: |
Fri, 22 Jul 2022 10:22:15 +0300 |
> From: Ag Ibragimov <agzam.ibragimov@gmail.com>
> Date: Thu, 21 Jul 2022 19:07:20 -0500
>
> Does anyone use the archive?
I do.
> What's the point of having a web-page for it, if you can't even
> search for stuff without downloading it locally? Or maybe "How to
> search" instructions need updating?
The search is indeed problematic, but it isn't entirely dysfunctional.
Anyway, the archive is not maintained by us, it's a separate project.
Please send the problems you find to mailman@gnu.org, that's where
people who maintain the GNU email archives are.
Thanks.