Re: [petsc-users] PETSC_VERSION_GT doesn't behave as I would have expected