Proposition de redéfinition du contenu des listes gulliver@ et gulliver-troll@

[Sylvain Blandel <gulliver dot sylvain at blandel dot org>]

> - permission d'écrire ce que l'on veut dans chacune en ayant bien conscience
>   que l'une est archivée publiquement et l'autre non.
> 
> En avant pour
> gulliver       == gulliver-publique-troll-ou-pas-troll
> gulliver-troll == gulliver-privé-troll-ou-pas-troll

Puisque c'est l'été (enfin, c'est le mois de juillet, certes très gris),
il est normal qu'il y ait moins de messages sur les listes. Attendons le
retour des troupes en septembre pour décider.

Cette proposition a le mérite de trancher la question des archives : une
liste AVEC archives publiques, une liste SANS. Allons plus loin et
renommons les listes :
liste « gulliver »  →  liste « gulliver-avec-archives-publique »
liste « gulliver-troll »  →  liste « gulliver-sans-archives-publique »

SylvainB