What do people want to have working in petsc-dev before we do a release? 
Both big and little things. Let's generate a list and see if it makes sense to 
do a release soon.

   Barry



Reply via email to