Re: [petsc-dev] [petsc-maint #67565] PaStiX broken with new Scotch.py