[Termtools] Scheduled shutdown of the termtools list
Claude Marche
Claude.Marche at inria.fr
Mon Nov 2 16:16:23 CET 2020
Hi termtools list,
Just a follow-up to this message of last June: Jürgen Giesl volunteered
to host the list in RWTH Aachen.
The migration should take place in a few days. Your subscription should
be automatically transferred.
I'll send a last message on this list when the migration will be done.
Take care,
- Claude
Le 17/06/2020 à 15:36, Claude Marche a écrit :
>
> Hello to all,
>
> The hosting of the termtools list at the lri.fr site will have to be
> terminated before the end of the year 2020.
>
> Are there any volunteers to host this list elsewhere? If yes please
> contact me directly.
>
> All the best, keep safe,
>
> - Claude
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
More information about the Termtools
mailing list