Andrea Veri commented: Done [1], thanks!
[1] https://infrastructure.gnome.org/browse/puppet/commit/?id=afa952cb98eb3d730bb79606007e51d04b01d008 -- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/111#note_451617 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
