[petsc-dev] I am both happy about this potential and unhappy about all the pain we've gone through in the past because we didn't know/utilize this feature

[Barry Smith]

https://bitbucket.org/petsc/petsc/commits/b003188ffa5a947444e0fe881773ad35d31f5aec?at=master

Plus it should be a runtime feature.