We are proud to announce that the migration to Git packaging succeeded! 🥳 Thanks to everyone who has helped during the migration! Package sources are now available on GitLab. Note that the bugtracker is still flyspray and that merge requests are not accepted…