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. thanks, 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. thanks, Mimi