Andrea Veri commented: Not much to do for the GNOME Infrastructure here and as pointed out in a few comments the platform is still useful! Thanks.
-- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/72#note_434741 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
