It is fixed! The provider provider fixed it quickly.
Marcus > On 6 Apr 2022, at 09:08, Marcus Denker <marcus.den...@inria.fr> wrote: > > Hi, > > Thanks, I will open a Ticket with the provider. > > All in all, I am not that happy with Empathy… maybe we should start looking > for an alternative > hosting provider for the mailing lists. > > Marcus > >> On 6 Apr 2022, at 00:01, PAUL DEBRUICKER <pdebr...@gmail.com> wrote: >> >> the Empathy search box here: >> https://lists.pharo.org/empathy/list/pharo-users.lists.pharo.org >> >> Doesn't work. Not sure if thats something everyone knows and is working on >> or not as I can't search the list to see because doing in the normal way >> with google also doesn't work or comes up empty.... e.g. googling >> >> >> search box >> site:https://lists.pharo.org/empathy/list/pharo-users.lists.pharo.org >> >> search box site:https://lists.pharo.org/ >> >> >> >> Thanks >> >> >