Plex: Reordering should not create a section (!4504) · Merge requests · PETSc / petsc · GitLab

Matthew Knepley requested to merge knepley/fix-plex-reorder into main Oct 27, 2021

Also copy name Reported-by: Pierre Seize pierre.seize@onera.fr