Hi! Just wanted to inform that Maps has now changed the default branch from "master" to "main".
//Marcus _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list