Andrea Veri commented:
Noticed it too late, should be fixed by now, thanks!
https://infrastructure.gnome.org/browse/puppet/commit/?id=aa0146d
Andrea Veri commented:
Noticed it too late, should be fixed by now, thanks!
https://infrastructure.gnome.org/browse/puppet/commit/?id=aa0146d