Hi Mimi, > Hi Petr, > On Mon, 2021-11-08 at 21:40 +0100, Petr Vorel wrote: > > Github repository is marked as primary. How about moving releases also to > > GitHub? > Done. Great, thank you! Also, when you have time, could you please put there checksums? (ideally sha256/sha512) or even signed checksum file). Kind regards, Petr > thanks, > Mimi