Comme demandé l'ignore se fait maintenant par l'id du poster et non plus par nick ... la gestion en est allégée et les bugs liés aux changements de nicks sont disparus
Par contre j'ai du mettre la liste a 0 car impossible de convertir l'ancienne
Donc désolé pr les 63 users chez qui les ignore ont été virés ... mais la liste est vite refaite
Vala a+