[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