Hi Thomas, Le 21/11/2017 à 22:37, Thomas Vincent a écrit : > Hello Martijn, > Le 21/11/2017 à 16:17, Martijn van Oosterhout a écrit : >> Quick question: which IRC server? > We're on irc.debian.org, channel #ddtp. > Thomas I also would be glad to help, but, as you know, I'm not DD, and my skills are limited... Best regards, Jean-Pierre Giraud