Andrea Veri commented:
@mjog, anything else pending for the GNOME Infrastructure team on this issue before we resolve it?