irc (last edited 2019-12-10 16:37:36 by AlainRegueraDelgado)