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