[petsc-dev] What happened to -log_summary_python?

I was using that. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener