Petsc-future: better coordination of use of external libraries
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 we may better coordinate the use of external libraries