Petsc-future: Ease of use
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 about how to make petsc-future easier to use
Edited by Vaclav Hapla