April 5, 2022
10:01 p.m.
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