Ole Aamot commented on a discussion: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/731#note_1322178 OK, thanks! I have submitted the request to move https://gitlab.gnome.org/ole/gnome-radio-14.git to https://gitlab.gnome.org/Circle/gnome-radio.git as a new Circle application here: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/735 -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/731#note_1322178 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
