Hi list,
it appears that the updates have not been pushed for the last several days:
https://bodhi.fedoraproject.org/updates/FEDORA-2019-986a024b8e
https://bodhi.fedoraproject.org/updates/FEDORA-2019-e98d4e55e6
If I recall correctly, there have been changes made some time ago after
which the updates should automatically get pushed every midnight. Is the
lack of pushes a known problem?
Best regards,
Julian