I can't say how many things I learned silently reading the posts of Viktor, Michael, Dave Thompson (years ago) ... and so many others on this list. They helped me to produce better and safer software and I guess I'm not the only one. The loss of their input, advice, opinion would be priceless IMHO. Michel. -----Message d'origine----- I, for one, subscribe and contribute to the list, but do not and will not track new Github issues. -- Viktor Dukhovni -----Message d'origine----- My participation will definitely be greatly reduced if the mailing list is closed. -- Michael Wojcik
