[petsc-dev] PetscOptionsTruth should be PetscOptionsBool?

[Jed Brown]

Was leaving this out of the PetscTruth -> PetscBool transformation
intentional or an oversight?

Jed