How long should it take for these to get pushed? https://admin.fedoraproject.org/updates/openconnect-2.25-1.fc12 https://admin.fedoraproject.org/updates/openconnect-2.25-1.fc13 -- David Woodhouse Open Source Technology Centre David.Woodhouse@xxxxxxxxx Intel Corporation -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
