Ok, it did not release to central correctly. I have rerun the job and it
says it has succeeded.
On Thu, Aug 6, 2020 at 10:30 AM Matej Novotny <manovotn(a)redhat.com> wrote:
Well, I cannot even see the previous one in Central, which is RC1 and
I
suppose that one should have been save to release at this point.