[Gretl-users] Re: searching the gretl mailing lists
On Mon, 3 Feb 2020, Riccardo (Jack) Lucchetti wrote:
On Mon, 3 Feb 2020, Riccardo (Jack) Lucchetti wrote:
> On Sat, 1 Feb 2020, Allin Cottrell wrote:
>
> > It has been noted that the default search facility for the archives of the
> > gretl mailing lists is not working at present -- no results returned, even
> > for searches that should show up tons of postings.
>
> We're on this!
It should be OK now.
Confirmed -- thanks!
Allin