On 2024-05-15 09:20, Sebastian Ramacher wrote:
I think the best way to deal with it is to pretend it never happened
and move on with petsc 3.20, upgrading from petsc 3.19. We'd want to
doing this upgrade anyway.
Please go ahead.
All uploads have been made now (including dolfin). Just binNMUs remain
(including mshr).
Something weird happened with the slepc upload (3.20.2+dfsg1-1). The
upload record or changelog was never processed (no news entry on the
tracker page), the RC bug never got closed, and there were no build logs
for the main architectures, as if they had been built separately and
uploaded manually. I dealt with it by just uploading a second release
(3.20.2+dfsg1-2) for rebuild.
Drew
