Hello, Helmut Grohne, le mer. 15 avril 2020 23:08:55 +0200, a ecrit: > > * I give you a notice when done (mail or irc). > > Poke. You can move ahead any time. There is no urgency attached, but > please tell me when you do. We had some changes pending anyway, so I uploaded it :) Samuel