Am 04.06.20 um 05:49 schrieb Kevin Fenzi:
To clarify we knew it was having problems and tried a bunch of things
to
get it working, and it seems that it is now?
At least it worked for me. I was able to promote a few updates (single builds
but also an update with ~a dozen packages) to stable.
Felix