Petsc-future: General technical discussion
All Petsc-future issues begin their title with Petsc-future: and have the milestone and label of petsc-future.
Use #643 "Petsc-future: General non-technical discussion for non-technical discussions.
This issue is for technical discussions that do not fit any of the specific technical discussions.
Edited by Barry Smith